OpenAI单次生成722篇AI数学论文 引25位菲尔兹奖得主集体警示

2026年10月6日，OpenAI在GitHub上线含722篇数学手稿的仓库，内容涵盖数论、代数几何等17个方向，整理为372组成果，由单一AI智能体一次性批量生成，部分宣称对黎曼猜想弱化版、BSD猜想局部突破及希尔伯特第十问题取得进展。手稿包含自然语言证明、源码及部分Lean形式化代码，其中仅约162篇（22%）提供Lean验证版本。发布次日即撤回3篇、修订14篇、更新13篇引用，总数降至719，暴露基础错误引发连锁失效风险。25位菲尔兹奖得主于9月29日联合声明警示验证失衡，剑桥梅纳德称其为“海啸”，迪米尼-科潘指出人类验证能力严重滞后。抽样显示数论领域30篇中仅7篇质量突出、1篇通过机器验证；麻省理工萨瑟兰强调模型未开源致第三方无法复现。溯源项目《巨人之肩》揭示AI实质整合11,067部人类著作与9,600位学者成果，包括丘成桐、陈省身、王虹等华人数学家关键工作。陶哲轩提出“证明消化不良”概念，指机器高速产出而人类理解滞后，叠加学术激励机制缺失——将AI证明转为可验证形式的工作难被认可。剑桥团队发现纳维-斯托克斯论文与Lean代码结论不一致，印证形式化非命题真实性担保。目前719篇仍处预印本状态，无一正式发表；学界正探索审查小组与期刊强制验证附录等应对路径，共识聚焦于重建匹配新生产方式的知识整合机制。