OpenAI数学论文符号错撤回3篇 陶哲轩批消化不良

时间：2026年10月6-9日（OpenAI 10月6日一次性放出手稿、10月7日撤回3篇、10月9日陶哲轩转载抵制倡议与中国媒体广泛跟进） 地点：美国旧金山（OpenAI 总部）+ 全球数学界 人物：OpenAI、菲尔兹奖得主陶哲轩（Terence Tao）、人类数学协会（Association for Human Mathematics）、康奈尔大学副教授 Alex Townsend、多伦多大学 Daniel Litt、剑桥大学/国王学院 A. Bastounis / F. Circelli / A. C. Hansen、OpenAI 研究员 Dan Roberts、牛津大学/克莱数学研究所所长 Martin Bridson、西北大学 Bryna Kra、UT Austin 的 Scott Aaronson、MIT 的 Andrew Sutherland 事件：OpenAI 在 10 月 6 日向 GitHub 开源仓库 openai/math 一次性放出 722 篇 AI 生成数学手稿，按官方口径归入 372 个'成果族'，宣称在几何、代数、数论、理论计算机科学等领域解决 372 个未决问题，平均每个结果消耗约 3 小时 ChatGPT Pro 思考算力；但仅隔一天（10 月 7 日），仓库更新日志 history.md 显示因 1 个正负号记错，撤回 3 篇并修订 14 篇、连带改引 13 篇。OpenAI 研究员 Dan Roberts 同步发推，并将形式化率对外统一为约 42%。人类数学协会在 10 月 7 日发布声明'敦促数学家停止与 OpenAI 合作'，陶哲轩 10 月 9 日以客座文章形式转载该声明，并形容这是'证明消化不良（proof indigestion）'——AI 制造命题和证明的速度已远超人类阅读、理解和教学可承载的带宽。 核心细节： - 出错的是《Algebraicity of Weil classes on split abelian eightfolds》，OpenAI 说明正负号在关键论证中应记为 -1 的量被记成了 +1，导致'稳定化-迹'相消论证失效；另有 2 篇（Kuga–Satake 对应与 K3 曲面乘积的有理霍奇猜想）依赖同一构造被一并撤回，三者均与千禧年大奖难题之一的霍奇猜想相关 - 第 032 号成果族名字因此由'所有射影 K3 曲面的 Hodge 与 Kuga–Satake 结果'改为'CM 阿贝尔簇的有理 Hodge 猜想'，原族关于 K3 曲面的部分从清单撤下 - 同期修复的 14 篇涉及 Ashkin–Teller currents、Kähler 极小模型纲领、taming 猜想、Incompressible Box Transport 与 BSD 公式，新增 6 个 Lean 形式化，加上之前累计约 300 / 719 = 42% 的顶层结果有 Lean 机器验证 - 出错的那篇落款日期为 9 月 18 日，是仓库最早一批手稿之一，从落款到公开相隔近 3 周，公开后 1-2 天即被撤回；OpenAI 未公开'谁是第一个发现错误的人' - 仅 10 / 719 篇披露模型推理摘要，Lean 覆盖仍是 42%，另有约 419 篇主结果没有机器可验证的证明 - 10 月 6 日剑桥/国王学院的 A. Bastounis、F. Circelli、A. C. Hansen 三位数学家另发论文《Navier–Stokes Lost in Translation》，指出 OpenAI 9 月公布的 Navier–Stokes 证明在两处出现了'自然语言证明'与'Lean 代码'的语义分歧（如一处代码估计比论文多要 5 阶导数，另一处压力通量走另一条路线） - 人类数学协会声明：'一次性发布 700 多份文件不是学术展示，而是权力展示'，要求数学家'停止与 OpenAI 合作，回归以人类理解为中心的科学愿景' 数学界反应： - 陶哲轩（菲尔兹奖得主）：批评 AI 是被'对学科本身没兴趣的 prompt 作者'驱动，模型生成者并不真正理解输出，无法回答衍生问题或做报告；用'证明消化不良'形容当前 AI 与数学社群之间的产能错配 - Martin Bridson（牛津大学数学家、克莱数学研究所所长）：清单里包含他自身研究里的关键挑战，'这些方案的公布会令许多人兴奋、令其他人恐惧、对某些人则是毁灭性的' - Alex Townsend（康奈尔）：'一个错误连锁塌三篇并不意外，怀疑还会有更多'；建议 OpenAI'先把通过 Lean 的那些稿件单独发布，再用单独渠道请社区验证剩下的' - Daniel Litt（多伦多大学）：'如果我们要知道这些数学问题的答案，我没有理由让公司对其保密' - Andrew Sutherland（MIT）：'在 OpenAI 开放模型让外人可复现之前，请把所有一次跑通数学题的声明视为未经验证' - Bryna Kra（西北大学）：AI 的写作方式'让人无法理解'，'现在需要仔细检查数万页数学内容，而同行评审在这个过程中没有了' - Scott Aaronson（UT Austin）形容发布日是'数学末日（Mathocalypse）'，其后撰写《The Mathocalypse》 影响：1）OpenAI 以'一次性放出 700+ 草稿 + 仅 42% Lean 形式化'的方式发布基础数学成果，被数学界视为'先把量推满、再补质量'，把传统同行评审的负担转嫁给大学数学系；2）撤回事件验证了 Lean 这种形式化证明的不可替代性——所有撤回与实质性修订几乎全部落到未形式化的那 58% 上，机器可验证的部分未出问题，'机器可验证 vs. 自然语言可读'被首次大规模实证；3）菲尔兹奖得主与人类数学协会联合倡议'停止合作'，可能影响下一轮 OpenAI 拿到高校推荐的合作机会与人才通道；4）'一字符错 → 整链塌'的剧情把'对前沿模型数学能力的信任'从单点错误升维成系统性信号，市场上 LLM 数学证明产品（如 Devin 数学模式、Lean Copilot、合规校验）当周估值与定价话语权被正面强化。 总结：一个正负号写错，OpenAI 一次性撤回 3 篇数学论文，还顺带炸出 14 篇需要修补——而这一切只发生在放出 722 篇 AI 数学手稿 24 小时之后。当'AI 一次跑通 372 个数学问题'的爆炸性叙事，被自家一个字符和陶哲轩一句'消化不良'按在地上摩擦时，故事的核心早已不在'AI 能不能证明数学'，而在'AI 产出的速度已经把数学社群压到了无法验证、无法教学、无法消化的临界点'。接下来 Lean 这种形式化证明助手会从'加分项'变成'地基'，而 OpenAI 与数学界的关系，可能需要的不只是一份勘误声明。 参考来源： - OpenAI math 仓库 history.md 原文：https://github.com/openai/math/blob/main/history.md - AI Breaking Wire《OpenAI Withdraws 3 Math Papers Over a Sign Error》：https://www.aibreakingwire.com/news/openai-withdraws-3-math-papers-over-a-sign-error - AI Weekly《OpenAI Pulls Three AI-Generated Math Papers Over Sign Error》：https://aiweekly.co/alerts/openai-withdraws-three-ai-generated-math-manuscripts-over-a-sign-error-that - New Scientist《OpenAI has dumped 722 maths papers – now it must clean up the mess》：https://www.newscientist.com/article/2592684-openai-has-dumped-722-maths-papers-now-it-must-clean-up-the-mess/ - Yellow.com《OpenAI's 719 AI Math Proofs Under Fire: Was Navier-Stokes Lost In Translation?》：https://yellow.com/news/openai-719-ai-math-proofs-fire - 澎湃新闻（via 今日头条）：https://www.toutiao.com/article/7694583841654194715/ - 新浪财经/机器之心 Pro：https://k.sina.com.cn/article_5953190046_162d6789e06703tyb0.html - 搜狐新闻：https://www.sohu.com/a/1085621923_114984 - 腾讯新闻《刚刚，OpenAI撤回了三篇AI数学论文》：https://news.qq.com/rain/a/20261008A0A6FY00 - 华夏时报快讯：https://kuaixun.chinatimes.net.cn/a/110468.html - 链新闻 ABMedia（中文）：https://abmedia.io/openai-withdraws-three-math-papers - Redreamality 博客《OpenAI 数学撤稿周：Lean 编译通过，到底证明了什么》：http://redreamality.com/cn/blog/ai-math-verification-lean-faithfulness - Hacker News 镜像 (GitHub openai/math 与 HN 讨论)：https://hn.today/go/u3gnIYJi