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

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