一个正负号写错，OpenAI 数学仓库两篇霍奇猜想论文遭撤回
机器之心 · wechat · 2026-10-08
OpenAI 在 openai/math 仓库发布首份更新日志：撤回 3 篇手稿、修订 14 篇、更新 13 篇引用，手稿总数从 722 降至 719——距仓库公开仅两天。
撤稿原因：三篇均与霍奇猜想相关。其中一篇在关键论证中把一类几何操作的符号写成 +1，按论文自身约定应为 -1，导致本应归零的计数不为零，所依赖经典定理的前提失效；另两篇借用该构造被连带撤回。OpenAI 强调撤回的是证明，不意味着数学命题本身错误，原稿保留可查。
修订与形式化
- 14 篇修订涉及统计物理、复几何、辛几何、Navier-Stokes 等，其中 Donaldson「驯服推出相容」猜想论文的过强附带结论被收窄。
- 新增 6 项 Lean 形式化：目前 300 篇手稿主结果完成形式化，占 719 篇的约 42%。
- 规律明显：被撤回和实质修订的内容几乎都落在没有 Lean 形式化的部分，印证「未形式化结果只能算声称」的提醒。
勘误处理本身较规范：写明错误、交代依赖链、旧版留痕。但这大概率不是最后一份勘误单。
所属事件:OpenAI 数学仓库因符号错误撤回 3 篇霍奇猜想论文(5 条相关)→
「研究」频道最新
- Terence Tao 博客刊文:「感知的壁垒」如何让数学界错失 AI 可解难题 — jainprateek_ · 2026-10-09
- UC Davis 团队用蛋白质语言模型从头设计 Rubisco，论文已上 bioRxiv — KevinKaichuang · 2026-10-09
- 普林斯顿实验：AI agent 写的机器人规划程序胜过专家系统 — ziv_ravid · 2026-10-09
- Late Interaction 检索讲座:为何 2026 年它仍是实用技术 — CShorten30 · 2026-10-09
- 诺奖得主成长研究:科学家天赋之外,家庭背景多重要? — soumitrashukla9 · 2026-10-09
- 社区改进 OpenAI 数学结果上亿倍:κ 界收紧至 2⁻¹⁵,较原结果提升 2¹⁶⁷ 倍 — latticecut · 2026-10-09