OpenAI 撤回 3 篇数学论文，因符号错误导致证明失效

OpenAI 因论文《Algebraicity of Weil classes on split abelian eightfolds》中一处符号错误使稳定迹消去论证及两篇依赖论文所用构造失效，撤回该文及另外两篇相关手稿。OpenAI 同时修订 14 篇手稿并更新 13 篇引用，新增 6 个形式化，使顶级结果形式化比例达到 300/719（约 42%）。