OpenAI 撤回 3 篇数学论文并修订 14 篇相关文稿

OpenAI 因符号错误导致论证失效，撤回了包括《Algebraicity of Weil classes on split abelian eightfolds》在内的 3 篇数学手稿。团队同时对另外 14 篇文稿完成了证明修复、条件明确与陈述修正，并更新了 13 篇关联引用的文稿。此外还新增了 6 项形式化证明，使顶层成果的形式化比例达到约 42%（300/719）。