OpenAI 撤回 3 篇数学论文

OpenAI Withdraws 3 Math Papers

OpenAI 在 GitHub 上更新了 math 仓库，正式撤回了 3 篇数学论文。原因是在《Algebraicity of Weil classes on split abelian eightfolds》中发现了一个符号错误，导致稳定化迹抵消论证失效，进而影响了另外两篇依赖该结论的论文。除了撤回，团队还修复了 14 篇其他手稿中的证明漏洞、修正了陈述并澄清了假设。此外，新增的 6 项形式化验证使得核心结果的总体形式化比例达到了约 42%。这一举动展示了在追求数学严谨性时，及时纠错和透明的版本管理比维持表面完美更为重要。