OpenAI 和 Anthropic 联手西蒙斯基金会推出总额 1500 万美元的项目，专门资助数学家来核验 AI 产出的数学证明、论文手稿，也就是大家说的给 AI “验卷”，这个项目的直接起因就是 AI 生成数学证明速度太快，人类数学家的人工验证跟不上，之前 OpenAI 一次性放出 722 篇 AI 数学手稿，很快就发现里面存在符号错误、逻辑漏洞，多篇手稿被撤回，引发数学界质疑。OpenAI 出资 500 万美元，同时配套模型、算力资源；Anthropic 同样投入资金、算力以及 Claude 模型使用权，全部资金和资源由西蒙斯基金会统一管理分配，资金主要用来举办研讨会、课题资助、学术交流，不是直接给数学家发固定薪酬，数学家可以申报课题来拿到支持，目标不只是挑错，还要帮学界看懂 AI 证明、建立数学领域使用 AI 的行业规范。项目的定位不是替代学术同行评审，而是社区驱动的辅助验证机制，数学家在核验 AI 成果之后，还可以拓展、复用 AI 找到的新思路，把 AI 产出的数学结论转化成真正可靠的学术成果。
一、项目出资与资源分配明细
| 参与方 | 资金投入 | 配套资源 |
|---|---|---|
| OpenAI | 500 万美元 | GPT 系列模型访问权限、算力资源 |
| Anthropic | 500 万美元 | Claude 模型使用权、算力资源 |
| 西蒙斯基金会 | 剩余资金 | 项目管理、评审、课题发放、活动组织 |
二、数学家给 AI “验卷” 主要工作清单
- 核查 AI 生成的数学证明，找出逻辑漏洞、计算错误、前提假设错误
- 解读 AI 产出的复杂证明，梳理清楚 AI 的推导思路
- 基于 AI 发现的结论，拓展新的数学研究方向
- 研讨、制定数学领域使用 AI 开展研究的通用标准
- 组织学术会议，分享 AI 数学成果的核验经验
三、项目诞生的直接导火索
- OpenAI 一次性发布 722 篇 AI 生成数学手稿，仅仅一天就查出正负号错误，3 篇手稿撤回、14 篇修改
- 数学界普遍担忧：AI 批量产出证明，但是验证速度跟不上，大量未经核验的结论流入学术圈
- 陶哲轩等数学家提出观点：数学已经从证明稀缺变成证明过剩，人类验证能力成为短板
- 学界对 AI 发布数学难题成果的方式、成果归属、验证流程提出批评
四、项目边界说明
- 项目不设立全职核验岗位，数学家通过课题申报拿到资助
- 不属于官方同行评审，只是社区层面的辅助核验计划
- 覆盖范围除纯数学，也延伸到基础科学领域
- 申报通道已经开放，提案截止时间为 2026 年 12 月 1 日
【相关 FAQ】
问题 1：OpenAI 联手 Anthropic 拿出 1500 万美元，请数学家给 AI 验卷，这个钱是直接发给数学家当工资吗？
回答 1：不是，1500 万美元由西蒙斯基金会统一管理，资金主要用于课题资助、研讨会举办，数学家提交研究提案申报项目经费，不是直接拿固定工资来给 AI 验卷。
问题 2：数学家给 AI 验卷，主要是专门挑 AI 数学证明里面的错误吗？
回答 2：核查错误只是一部分，数学家给 AI 验卷除了找出 AI 证明里的漏洞，还要读懂 AI 推导逻辑、拓展新研究、一起制定数学领域使用 AI 的学术规范。
问题 3：OpenAI 和 Anthropic 为什么要联合出钱请数学家给 AI 验卷？
回答 3：因为 AI 生成数学证明的速度远超人类核验速度，之前 OpenAI 放出的 AI 数学手稿出现错误翻车，引发数学界争议，OpenAI 联手 Anthropic 投入 1500 万美元，资助数学家给 AI 验卷，补齐验证短板，缓和学界矛盾、建立 AI 数学研究标准。
【参考资料】
[2026-11-10]（1500 万美元！OpenAI 联手 Anthropic，请数学家给 AI “验卷”）新浪财经
[2026-10-28]（OpenAI 数学成果产出速度超过验证能力，学界争议持续）The Beat
[2026-10-16]（Simons Foundation, OpenAI and Anthropic put $15M behind mathematicians wrestling with AI proofs）Dealroom
[2026-10-15]（Simons Foundation Launches $15M Effort To Help Mathematicians Navigate AI Era）Simons Foundation 官网
[2026-10-15]（OpenAI、Anthropic 联合西蒙斯基金会投入 1500 万美元，资助数学家核验 AI 数学成果）智东西
【免责声明】
本文内容仅整理西蒙斯基金会公告、公开媒体报道，仅作行业科普；该 1500 万美元项目的资助规则、申报评审、成果核验标准，以西蒙斯基金会官方更新为准，不构成学术研究、项目申报的指导保证。