OpenAI 722篇AI数学手稿3篇因正负号错误撤回，三机构出资1500万美元助人类验卷

新智元 · wechat · 2026-11-10

OpenAI于10月6日公开722篇内部模型生成的数学手稿，仅一天后3篇即因一处正负号错误被撤回（另两篇沿用同一构造被连带撤回），14篇修订。这批成果仅约42%的主要结果配了Lean形式化验证。10月15日，Simons基金会宣布与OpenAI、Anthropic共同承诺1500万美元资金及资源（各出500万美元，OpenAI另提供模型和算力，Anthropic包含Claude使用权限），支持数学家检验、理解并拓展AI成果——直接回应了此前人类数学协会（AHM）批评"一次性倾倒七百多个文件是展示权力"、普林斯顿AGMAI要求AI实验室出资支持人类验证的诉求。陶哲轩指出数学正从"证明稀缺"走向"证明充裕"，但人类验证能力未必跟得上；Simons主席强调相关讨论必须由数学共同体主导。文中另提GPT-6Astra在理论物理测试TheoPhysEval经专家复核参考答案本身有错后，50题答对49道（98%）。

原文链接 →

「研究」频道最新

更多「研究」频道 AI 资讯 →