OpenAI撤回3项数学研究 数学仓库上线48小时首修

## 时间 2026年10月8日上午（中国时间晚间）。OpenAI研究员 Dan Roberts 在 X 平台宣布 openai/math 数学成果仓库迎来首次修正。 ## 地点 美国旧金山（OpenAI 总部）；数学界回响覆盖普林斯顿高等研究院（IAS）、伦敦、新南威尔士大学等多地。 ## 人物 Dan Roberts（OpenAI 数学研究负责人）；Timothy Gowers、Martin Hairer（菲尔兹奖得主，AGMAI 顾问组成员）；Edward Witten（AGMAI 顾问组物理学家）；Terence Tao（UCLA 数学教授）；Scott Aaronson（德州大学奥斯汀分校理论计算机科学家）；Tristan Buckmaster（纽约大学数学教授）；Association for Human Mathematics（人文数学协会）。 ## 事件详情 OpenAI 10月6日发布 openai/math 数学成果仓库时，一次性公开了 722 篇手稿、372 个成果族，覆盖代数几何、数论、理论计算机科学、量子物理等 17 个数学分支，被外界称为「OpenAI 把数学界按在地上打」。 10月7日至8日上午的48小时内，仓库变更日志记录了首次真正意义上的修正：新增 6 项 Lean 形式化证明、修订 19 项内容、撤回 3 项成果，主要成果 Lean 形式化率由此前 36% 提升至约 42%。 3项撤回的具体内容： - Algebraicity of Weil classes on split abelian eightfolds（分裂阿贝尔八重上 Weil 类的代数性）——因符号错误（sign error）导致关键论证无效而被撤回； - 基于该论证的两篇衍生论文也连带被撤； - The rational Hodge conjecture for products of K3 surfaces（K3 曲面乘积的有理 Hodge 猜想）——同期被撤回。 总成果数由 722 降至 719。 撤回机制采用业界罕见的方式：被撤论文保留在仓库中但附说明（notice），每次修订都保留为新版本而非覆盖旧版本，审计人员随时可调出原始快照——Git 历史的不可篡改性使这一撤回机制具备「防篡改证据」属性。Dan Roberts 承诺团队将继续补充新的形式化证明，并在发现错误时公布勘误（errata）。 ## 背景 openai/math 仓库来自 OpenAI 一个未公开的内部前沿模型，该模型在 4,000 道题的训练池中以平均每题约 3 小时 ChatGPT Pro 思考算力生成 722 篇手稿，结果触及包括准黎曼猜想、唯一游戏猜想、四维挂谷猜想、马勒猜想、海森堡铁磁体自发磁化等长期悬而未决的难题。 这套机制围绕三个争议点： 1. 透明度问题：独立顾问组 AGMAI（数学与人工智能咨询小组）由菲尔兹奖得主 Gowers、Hairer 和物理学家 Witten 等 9 位成员组成，托管于普林斯顿高等研究院。顾问组 9月29日发布指南，明确建议 AI 公司公开模型、原始 prompt、推理步骤、单题算力等关键信息。OpenAI 拒绝了发布 prompt 的要求，并强调「不受这些建议约束」。 2. 学术规范问题：人文数学协会（Association for Human Mathematics）10月7日发布声明，称数学家「并未要求 OpenAI 开展这项工作」，并定性 700+ 文件的批量发布「不是学术展示，而是权力展示」。该协会呼吁数学界停止与 OpenAI 合作。 3. 知识产权与「scooping」问题：纽约大学数学教授 Tristan Buckmaster 10月8日接受悉尼先驱晨报采访时表示，OpenAI 可能无意间借助数学家公开的 Codex 会话来训练模型，从而抢先完成结果。OpenAI 9月曾被指在 Navier-Stokes 问题上涉嫌此类操作，公司当时表示无法完全排除此类可能性。 Scott Aaronson 在 HN 评论中将本次发布称为「数学史上最重要的一天之一」；Terence Tao 则在《Severe Misalignment of AI in Mathematics》公开信（25 位菲尔兹奖得主联署）中警告：批量生产「真命题」会摧毁数学赖以生存的「肥沃土壤」而非带来新想法。 ## 影响 短期看，OpenAI 的撤回机制+Lean 形式化+Git 历史不可篡改的组合，建立了 AI 学术发布史上罕见的「自动召回」案例。3 项撤回是首批公开撤下的成果，未来 Lean 形式化覆盖率向 100% 推进的过程可能继续产生新的撤回，AGMAI 顾问组的「可验证性」标准将被进一步压力测试。 中期看，「AI 提出，系统验证」的工作流首次在数学领域完成端到端闭环。Lean 这类机器可验证的证明语言正从数学研究助手向 AI 生成内容验证基础设施进化，可能成为其它领域（密码学、芯片验证、合规审查）共享的格式规范。 长期看，OpenAI 与数学界的张力折射出 AI 时代科研评价的核心矛盾：速度 vs 严谨、规模 vs 理解、媒体可见性 vs 学术信誉。当 AI 在几天内生产出传统学界需要数年完成的工作量时，「哪些结果值得被相信」「谁来定义相信的标准」「数学家的训练和职业路径如何演变」三个问题进入不可回避期。 竞争格局上，撤回案例给 Anthropic、Google DeepMind、xAI 等同样押注 AI 数学的厂商提供模板：发布前完成 Lean 形式化、预留撤回通道、把审计责任前置，已成为 AI 数学发布的「基线合规」。 ## 总结 OpenAI 10月6日发布的 722 篇数学手稿在48小时内迎来首次修正：Dan Roberts 10月8日宣布新增 6 项 Lean 形式化、修订 19 项、撤回 3 项（包含「分裂阿贝尔八重上 Weil 类的代数性」等关键结论），主要成果 Lean 形式化率提升至约 42%。事件标志「AI 提出，系统验证」工作流首次在数学领域完成端到端闭环——撤回论文保留+Git 历史不可篡改的机制使 AI 学术发布首次具备「自动召回」能力。但同期人文数学协会定性批量发布为「权力展示」、AGMAI 顾问组强调「不构成背书」、25 位菲尔兹奖得主警告 AI 数学「严重错位」，这场关于 AI 与数学科研规范的拉锯战刚刚开始。 ## 参考来源 1. Hacker News - OpenAI withdraws three mathematical results - https://news.ycombinator.com/item?id=50002650 2. 网易新闻 - OpenAI撤回3项数学研究成果!数学仓库首次修正 - https://c.m.163.com/news/a/L8O37C4B051191D6.html 3. LavX News - OpenAI Updates Math Repo With Six Lean Proofs, Pulls Three Papers - https://news.lavx.hu/article/openai-updates-math-repo-with-six-lean-proofs-pulls-three-papers 4. DEV Community - 700 manuscripts, 48 hours, three withdrawals. The verifier won. - https://dev.to/slabb/700-manuscripts-48-hours-three-withdrawals-the-verifier-won-dhl 5. Mad Robot Blog - OpenAI put 722 AI-written maths papers on GitHub, then pulled three of them a day later - https://madrobot.blog/2026/10/08/openai-722-maths-papers-github-three-withdrawn-mathematicians-react 6. 悉尼先驱晨报 - OpenAI says it has solved 377 maths equations that have stumped experts for years - https://www.smh.com.au/technology/openai-says-it-has-solved-377-maths-equations-that-have-stumped-experts-for-years-20261008-p613rq.html 7. AI Weekly - OpenAI Says 372 Math Results Came Mostly From One Prompt - https://aiweekly.co/alerts/openai-says-372-math-results-came-mostly-from-one-prompt 8. The Decoder - OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up - https://the-decoder.com/openai-dumps-372-ai-generated-math-proofs-on-github-telling-the-academic-world-to-keep-up/ 9. Bugle Blast - OPENAI DUMPS 722 AI-WRITTEN MATH PAPERS ON GITHUB - https://bugleblast.com/?p=496 10. AI Insiders - OpenAI shares math results from a model you cannot use - https://aiinsiders.net/article/openai-shares-math-results-from-a-model-you-cannot-use