OpenAI 撤回三篇 AI 生成的数学论文：一个符号错误，连锁推翻两篇依赖它的结果

十月六日，OpenAI 公开了一批由内部前沿模型产出的数学结果：722 篇手稿、归入 372 个结果族，约四成附了 Lean 形式化证明，平均每个结果用掉相当于约三小时 ChatGPT Pro 的思考算力，整个过程约投喂了 4000 道题。两天后，它自己的版本记录里撤下了三篇——起因是一篇关于分裂八维阿贝尔簇上 Weil 类代数性的证明有个符号错误，使一个迹抵消论证失效，连带推翻了两篇依赖它的结果。目录从 722 篇降到 719 篇，另有 14 篇做了修补、新增 6 篇 Lean 形式化，形式化覆盖约占 42%。