OpenAI 撤回 3 篇 AI 数学手稿：关键论证符号误写引发连锁修订

OpenAI 在 openai/math 仓库发布首份更新日志后，撤回 3 篇与霍奇猜想相关的数学手稿，并修订 14 篇、更新 13 篇引用。被撤回论文的问题源于一处关键论证将应为 -1 的符号写成 +1，导致后续构造失去前提。OpenAI 表示，撤回的是证明，不代表相关数学命题本身错误。按其最新口径，目前已有 300 篇手稿的主结果完成 Lean 形式化，占 719 篇总数约 42%。