刚刚，OpenAI撤回了三篇AI数学论文，竟是因为符号写错了
2026.10.08 · 事件 · AI事件 · 媒体报道
OpenAI因一处符号错误撤回3篇手稿，另修订14篇，仓库总数从722篇降至719篇。
OpenAI在openai/math仓库发布首份更新日志，因一篇论文把关键几何操作的符号写成+1（应为-1），撤回3篇与霍奇猜想相关的手稿，另修订14篇、更新13篇引用。仓库手稿总数从722篇降为719篇，目前约42%的主结果完成Lean形式化。
- 因一处正负号写错，撤回3篇霍奇猜想相关论文
- 仓库手稿总数从722篇降为719篇
- 另修订14篇，涉及统计物理、复几何、辛几何等
- 新增6项Lean形式化，主结果形式化率约42%
- 被撤回和实质修订内容几乎都无Lean形式化把关
为什么值得看
一次符号错误暴露AI数学成果缺乏形式化验证的风险。
适合谁关注
关注AI科研、数学形式化与AI可靠性的读者。