西蒙斯基金会、OpenAI、Anthropic 共同推出合计 1500 万美元的专项计划，出资邀请数学家核验、读懂、拓展 AI 产出的数学证明，相当于给 AI 交上来的数学试卷人工阅卷，项目诞生的直接背景是 OpenAI 一次性放出 722 篇 AI 生成数学手稿，部分证明存在错误、逻辑晦涩，数学家群体很难快速核验，引发学界争议，两大 AI 公司主动出钱、出算力、开放模型权限，让人类数学家来把关 AI 产出的数学结论，补齐 AI“会写证明，但很难自我解释、自我核验” 的短板。AI 现在可以快速生成长篇数学证明、尝试攻克公开猜想，但它容易出现隐蔽的逻辑漏洞、符号错误，部分证明步骤跳跃、人类难以理解；传统数学同行评审节奏很慢，面对 AI 批量产出的海量手稿，原有评审体系跟不上，出现 “AI 交卷，没人阅卷” 的困境。想要看懂这个项目，先分清资金分配，OpenAI 和 Anthropic 各拿出 500 万美元，西蒙斯基金会统筹管理、开放课题申报；再看项目定位，它不是用来训练 AI，而是支持研讨会、课题，让数学家看懂 AI 证明、检查对错、沉淀 AI 在数学领域的使用规范；最后区分边界，这不是替代同行评审，而是社区驱动的配套支持。总的来说，这次 1500 万美元的合作，本质是 AI 巨头为 AI 数学成果的可信度买单，承认 AI 生成数学证明不能直接采信，必须依靠人类数学家做核验解读。
项目核心信息清单
- 总投入：1500 万美元（资金 + 算力 + 模型资源打包）
- 出资方：OpenAI、Anthropic 各出资 500 万美元，配套开放模型、算力资源
- 管理方：西蒙斯基金会（Simons Foundation），统一受理课题申报、分配资助
- 资助对象：数学家、数学研究团队，面向数学以及基础科学方向
- 核心用途：举办研讨会、专项课题，核验 AI 产出数学成果、理解 AI 证明思路、建立 AI 在数学研究中的使用规范
- 申报方式：公开提案征集，申报截止时间 2026 年 12 月 1 日
- 项目背景：OpenAI 批量发布 722 篇 AI 数学手稿，部分稿件出错撤回，引发学界对 AI 证明核验机制的讨论
AI 数学证明的两类核验方式对比表
| 项目 | 本次项目：数学家人工 “验卷” | Lean 等形式化机器验证 |
|---|---|---|
| 执行主体 | 人类数学家 | 证明助手程序、代码 |
| 核心价值 | 读懂思路、判断创新价值、梳理可延续研究方向 | 逐行检查逻辑推导，抓符号、步骤漏洞 |
| 短板 | 速度慢、主观门槛高、人力成本昂贵 | 无法判断证明想法是否具备学术价值，只能检查逻辑自洽 |
| 适用场景 | AI 产出的前沿猜想证明、复杂新结论 | 已经整理成型的证明，做严格逻辑校验 |
| 两者关系 | 互补，不是互相替代 | 互补，不是互相替代 |
这个计划要解决的痛点
✅ 痛点 1：AI 批量产出海量数学手稿，现有同行评审体系消化不过来
✅ 痛点 2：AI 证明存在隐蔽错误，比如符号、正负号错误，机器自检也会漏掉
✅ 痛点 3：AI 写出的证明步骤跳跃，人类看不懂，没法判断里面有没有真正有价值的新思路
✅ 痛点 4：学界缺少统一标准，大家不知道该怎么引用、怎么评估 AI 参与的数学成果
【相关 FAQ】
问题 1：OpenAI 和 Anthropic 拿出 1500 万美元，请数学家给 AI “验卷”，是做什么？
回答 1：这笔资金由西蒙斯基金会管理，用来资助数学家核验 AI 生成的数学证明、读懂 AI 的推理思路，同时研讨 AI 在数学研究里的使用规范，解决 AI 批量产出数学成果之后缺少人工评审的问题。
问题 2：为什么 OpenAI 和 Anthropic 要联手出钱，请数学家给 AI 数学成果验卷？
回答 2：此前 OpenAI 一次性放出 722 篇 AI 数学手稿，部分稿件出现错误被撤回，很多数学家表示看不懂、来不及核验，引发学界争议；AI 能快速写证明，但很难自我解释、自我把关，所以两家 AI 公司出资支持人类数学家做核验。
问题 3：这个 1500 万美元的项目，是用数学家来代替 AI 做证明吗？
回答 3：不是，项目目标不是让数学家去写证明，而是给 AI 已经产出的数学成果 “阅卷”，检查对错、理解思路，同时沉淀社区规范，属于配套评审机制，不替代 AI 的生成工作。
问题 4：机器不是有 Lean 形式化证明工具，为什么还需要数学家人工验卷？
回答 4：Lean 只能检查逻辑推导是否自洽，没法判断证明想法有没有学术价值；数学家给 AI 验卷，除了找错误，还能识别 AI 证明里有没有值得深挖的创新思路，二者是互补关系。
【参考资料】
[2026-10-15]（Simons Foundation launches $15M effort to help mathematicians navigate AI era）Simons Foundation 官网
[2026-10-16]（OpenAI、Anthropic 罕见联手：砸 1500 万美元，给数学家送钱、送算力）腾讯新闻
[2026-10-16]（Simons Foundation, OpenAI and Anthropic put $15M behind mathematicians wrestling with AI proofs）Dealroom News
[2026-10-26]（AI 交卷之后，谁来把证明讲清楚？）36 氪
【免责声明】
本文内容整理自西蒙斯基金会官方公告、科技媒体报道，项目申报、资金分配、课题方向以基金会官方通知为准；数学家人工核验、形式化验证都不能保证 100% 消除 AI 数学证明的错误，不代表所有 AI 数学成果经过资助项目核验就一定正确。