OpenAI 一次性发布近 400 项 AI 生成数学结果，数学家称需数年消化

OpenAI 本周发布近 400 项 AI 生成的数学结果，分布在 700 多份手稿中，覆盖组合数学、几何、数论、理论计算机科学、代数、拓扑、概率与统计力学、数学物理等多个方向，并为此在 GitHub 仓库中发布了导航指南。多位数学家对 The Verge 表示，仅通读约 40 页的目录和摘要就要花近一小时，完全理解这批结果可能需要数年。OpenAI 称 719 份手稿中只有 300 项主要结果完成了 Lean 形式化，约 42%，并承认结果处于不同验证阶段。伦敦帝国理工学院的 Kevin Buzzard 称在其代数数论领域只找到约六项立即引人注目的定理，且几乎没有经过 Lean 形式化验证。部分研究者提到论文篇幅异常简短、参考文献偏少，并担心署名不完整；截至 10 月 8 日，该记录已列出多项更正，包括十余份手稿的修订和因符号错误撤回三篇论文。