Simons 基金会联合 Anthropic、OpenAI 投 1500 万美元，帮数学界立 AI 评估标准

10 月 15 日，Simons 基金会宣布与 Anthropic、OpenAI 联手投入 1500 万美元（资金与资源合计），帮数学界应对 AI 带来的变化。这笔钱由基金会管理与发放，包括以公开征集提案的方式分配，用于支持工作坊、会议与专项计划，让研究者评估近期的 AI 辅助成果、学习并使用新工具、交换看法，并形成集体标准。OpenAI 明确其中 500 万美元出自自己，Anthropic 与基金会各自的份额官方未披露。

除资金之外，两家公司还会向受资助研究者开放模型与算力，官方说这个范围不限数学、会延伸到基础科学。基金会给出的理由是关于立场：数学界应当自己主导「这些工具如何被评估、采用与使用」的讨论，而不是由某一家公司或某个机构主导。

放回最近几周的脉络里，这条更像对节奏的回应：OpenAI 十月初一次性放出数百篇 AI 生成的数学预印本，学界对「怎么验证这些结果、由谁来验证」的争论随之升温；而 Simons 基金会本身是 Lean 证明助手的早期资助方，AI 辅助证明的可验证性正建立在 Lean 这类形式化工具上。厂商说「我做出了结果」，判定方要回答的是「结果算不算数」——这条买的是后一半。

原文链接：Simons 基金会官方页面