OpenAI 在 GitHub 发布 722 篇 AI 生成的数学突破成果
2026 年 10 月 6 日,OpenAI 在 GitHub 上公开了一个代码仓库,其中包含由其内部前沿模型生成的 722 篇数学论文稿件。这些工作针对大约 4,000 个数学领域的开放问题展开研究。
其中较为突出的成果包括:在黎曼猜想相关研究上取得重大进展——证明了黎曼 ζ 函数以及 Dirichlet L 函数存在一个新的无零半平面,将此前的边界推进到了实部大于 7/8 的区域;此外,还提出了一个新的矩阵乘法复杂度上界,在复数域上将矩阵乘法指数降至至多 9/4。
目前,其中 162 项结果已经通过 Lean 证明助手进行了形式化,以便进行机器验证;其余成果仍有待进一步审查。
数学界对此反应不一:一方面,人们对一次性产生如此大规模数学研究成果感到兴奋;另一方面,许多数学家也强调,需要由独立研究者进行严格检查,以确认这些结果是否真正正确。