OpenAI 撤回三篇 AI 数学论文，原因是符号写错

OpenAI 此前放出 722 篇 AI 数学手稿后，因一篇涉及霍奇猜想的关键论文写错正负号，连带撤回 3 篇相关手稿，同时修订 14 篇手稿、更新 13 篇的引用，手稿总数变为 719 篇。此次撤稿仅针对证明本身，相关命题未被判定为错误，原稿仍可查看，原霍奇猜想相关成果族也调整了核心结论范围。目前已有 300 篇手稿的主结果完成 Lean 形式化，占总数约 42%，本次被撤回和实质修订的内容几乎都属于未做 Lean 形式化的部分。

媒体报道
刚刚，OpenAI 撤回了三篇 AI 数学论文，竟是因为符号写错了 机器之心/36Kr/腾讯网

事件追踪
2026-10-09 OpenAI 撤回三篇 AI 数学论文，原因是符号写错
2026-09-22 OpenAI 新模型 24 天攻克百余数学难题，设顶尖顾问组
2026-08-03 OpenAI 发布报告：Astra 模型攻克十项数学难题
2026-05-21 OpenAI 宣布攻克 80 年数学难题 AI 首次自主证明 Erdős 开放问题

#热门话题