AI一夜生成722篇数学手稿 数学研究范式巨变

2026年10月7日，OpenAI在GitHub仓库中发布名为"openai/math"的项目，一次性贡献了722份数学手稿和372个相关研究成果，覆盖数论、代数几何、实分析等多个核心领域。这些成果相当于人类数学家数十年的工作量，包括准黎曼猜想的突破性进展、矩阵乘法复数域指数降至2.25以及挂谷猜想四维版本的解决。数学家们普遍认为，如果这些成果是由人类完成的，完全可以直接授予菲尔兹奖。

OpenAI表示，他们已经用现有的数学评测方法将AI模型的能力测试到了极限，国际数学奥林匹克竞赛（IMO）去年就已达到AI的金牌水平，各类数学题库也几乎被完全攻克。为了进一步评估模型的真实能力，OpenAI将大约4000个尚未解决的数学问题喂给内部模型，最终筛选出具有分量的结果。

值得注意的是，OpenAI并未公布模型的具体名称或推理细节，而是直接以仓库形式批量发布。这一做法引发了数学界的激烈争论。25位菲尔兹奖得主联名批评AI公司的发布方式，认为这冲击了传统的学术共同体。普林斯顿高等研究院顾问组要求停止此类做法，但OpenAI并未回应。

数学的独特性在于其严格的证明体系。不同于物理、化学等学科依赖实验验证，数学从基本公理出发，每一步推导都必须严丝合缝。一旦证明成立，在相同的公理体系下永远不会被推翻。例如欧几里得在《几何原本》中证明的结论，两千多年后依然成立。

这场变革不仅改变了数学研究的方式，也预示着基础科学研究范式的根本性转变。正如Szegedy所言，"两千年英雄史彻底落幕"，测绘整片大陆的时代正在开启。