OpenAI 因符号错误撤下3篇数学论文，并修复另外14篇手稿

OpenAI撤下了本周发布的3篇AI生成数学手稿。由于《分裂阿贝尔八重折叠上的Weil类的代数性》一文中的符号错误导致关键抵消论证失效，两篇相关论文随之撤下。OpenAI同时修复了另外14篇手稿的证明，并更新了13篇手稿的引用。目前该仓库约42%的顶级结果已在Lean中形式化，新增了6个形式化证明。