Simons基金会联合OpenAI与Anthropic投入1500万美元支持AI数学研究

10月15日，西蒙斯基金会（Simons Foundation）宣布，联合OpenAI与Anthropic合计投入1500万美元，设立专项支持「AI+数学」研究。这是今年AI公司与数学界关系持续紧张以来，双方第一次以共建研究框架的方式正面缓和。

西蒙斯基金会由文艺复兴科技创始人、数学家兼慈善家吉姆·西蒙斯创立，是全球基础科学资助领域最有分量的私人基金会之一，数学与理论物理是其传统资助重点。由它而非AI公司本身出面牵头，这层安排本身就值得玩味——中立机构的信用背书，是这项合作能被学界接受的前提。

资金的三个重点方向：

1. 开发AI数学输出的验证工具，让机器生成的证明可以被系统性核验；
2. 资助数学家研究AI生成证明的可信度与审查方法；
3. 支持相关学术交流，让数学界与企业实验室建立常态化对话。

这项资助的背景需要放在近一年的风波里看。今年9月，OpenAI宣称其智能体系统在千禧年难题上取得进展，25位菲尔兹奖得主随后联署抗议，焦点并非AI「算得快」，而是其证明过程无法独立核验、训练数据涉嫌吸收数学家未发表成果；上个月，AI一次批量产出722篇数学论文的消息进一步刺激了学界神经；此前OpenAI与Anthropic拟赞助高校数学赛事、以算力换成果的模式也遭遇抵制。学界与商业AI的信任几乎降到冰点。

在这样的背景下，1500万美元投向「验证」而非「产出」，是姿态与实质的双重信号：承认AI数学成果的核验问题没有解决，并愿意出钱让数学家来主导规则制定。对数学界而言，验证工具与审查方法的资助直接补上了此前缺失的一环。

从产业观察角度，这件事的模板意义大于金额意义：AI公司进入传统学术领域，正从「资金换数据」的争议模式，转向「中立机构牵头、共建基础设施」的模式。需要说明的是，资助的具体拨付对象、评审机制与首批入选项目尚未公布，OpenAI与Anthropic各自的出资比例亦未披露，实际成效有待观察。