整理：TopAIMap 编辑
Simons 基金会联手 Anthropic、OpenAI 投入 1500 万美元，帮数学界检验 AI 产出的证明成果；OpenAI 出资 500 万美元
10 月 15 日，Simons 基金会宣布与 Anthropic、OpenAI 合作，三方合计投入 1500 万美元资金与资源，由基金会管理和发放（含公开征集提案），资助研讨会与专项计划，帮助数学家评估 AI 辅助得出的结果、学习新工具，并共同制定 AI 使用标准。OpenAI 同日表示其出资 500 万美元，用于让数学界检验、理解并延伸 AI 产生的结果，“包括我们近期发表的结果”。
Anthropic 与 OpenAI 还将向 Simons 基金会资助的研究者提供模型访问与算力，范围从数学延伸到基础科学。基金会主席 David Spergel 表示：“这些工具如何被评估、采用和使用，应由数学社区主导，而不是任何一家公司或机构。”Simons 基金会早年曾资助 Lean 证明助手的开发，后者正是 AI 辅助证明得以落地的基础设施之一。OpenAI 官宣帖发布约 15 分钟内获 500+ 点赞。
谁能用：资助面向数学研究社区，由 Simons 基金会通过公开征集提案发放，公告未列出申请截止日期与单项金额；Anthropic 单独出资额未披露。模型与算力仅提供给 Simons 基金会资助的研究者，不涉及面向公众的新产品、价格或 API 额度。
解读：前沿实验室开始用 AI 产出数学结果后，真正的瓶颈变成“谁来验证、谁来理解”。把钱交给中立的基金会、让数学界自己定标准，既是给自家成果背书找第三方，也是在争夺科研圈对 AI 的信任。值得注意的是 OpenAI 明确点名“我们近期发表的结果”，说明这笔资助和其数学成果的同行审视直接相关。讨论：1. 由 AI 公司出资的验证项目，能否保证足够独立？2. AI 生成的证明，是否应强制附带 Lean 等形式化验证才算数？
