OpenAI一夜生成722篇数学手稿，AI重塑基础科学研究范式

2026年10月7日清晨，一场前所未有的技术革命悄然降临数学界。OpenAI在其GitHub仓库中发布了名为"openai/math"的项目，一次性贡献了722份数学手稿和372个相关研究成果，覆盖数论、代数几何、实分析等多个核心领域。

这一数字相当于人类数学家数十年的工作量。以著名的arXiv平台为例，其每月每位用户只能提交两篇论文，而722篇手稿若由人工上传，需要花费近30年时间。更令人震撼的是，这些成果并非零散分布，而是被归类为372个紧密相关的成果组，每个成果组都包含主结果及其衍生的推论、补充证明等。

"准黎曼猜想"是此次发布的最引人注目成果之一。该猜想将零点无区域推进到0.875（7/8），这是近百年来黎曼猜想方向上最大的突破。此外，矩阵乘法复数域指数被压至2.25，挂谷猜想四维版本也获得解决。数学家们普遍认为，如果这些成果是由人类完成的，完全可以直接授予菲尔兹奖。

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

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

"你的海洋如此浩瀚，我的船只如此渺小。"OpenAI首席执行官山姆·阿尔特曼（Sam Altman）在推特上表达了对AI能力的敬畏。这种情绪在与最前沿AI对话的人群中普遍存在，许多人开始重新思考人类在科学探索中的角色。

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

这一事件不仅展示了AI在数学研究中的强大能力，也揭示了当前学术界面临的挑战。随着AI生成成果的速度远超人类消化能力，审核和验证成为新的瓶颈。数学家们需要数月时间才能消化这372组成果，而模型可能已经继续进化。

"数学要毕业了。"xAI联合创始人Christian Szegedy在一篇长文中指出，AI已经取代了传统数学家的角色，就像飞机取代了徒手攀岩的探险家。他预言，数学将走出象牙塔，成为所有科学技术进步的基础地基。

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