OpenAI一夜连发722篇数学论文，数学界泼冷水

一夜之间，722篇数学论文集中公开——这是OpenAI近日制造的一场“论文雨”。这批论文的选题直指数学界最硬核的几座大山：黎曼猜想、霍奇猜想、BSD猜想悉数“上阵”，清单一经曝光便刷屏学术社区。与往常单篇重磅成果的发布节奏完全不同，如此体量的集中放送在数学界前所未见。消息传出后，数学社区的第一反应不是欢呼，而是“读不过来”；三位菲尔兹奖得主的表态则更为冷静：批量论文并不代表数学界的认可。

一夜722篇：超出同行消化能力的“论文雨”

按照学术惯例，一篇重要的数学论文从成稿到问世，往往要经过数年打磨，顶刊审稿周期动辄以年计，单篇成果的发布通常伴随作者团队漫长的修改与讲学。而这一次，OpenAI把722篇论文压缩到一夜之间集中放出，整个流程看起来更像一次精心策划的“批量事件”，而非传统意义上的学术发表。有研究者算了笔账：即便每篇只花十分钟粗略翻阅，全部读完也需要约五天，根本无人能做到逐行核验所有证明细节。

更大的争议集中在发布方式本身：这批论文并未经过传统同行评议，直接以集中公开的形式与公众见面。支持者认为，这相当于把一个巨型“待验证题库”一次性交给全球数学家，众包式检验或许比缓慢的审稿流程更高效；反对者则担心，未经筛选的海量文本会挤占稀缺的学术注意力，让真正有价值的结果淹没在噪音之中。“读不过来”因此成为数学社区出现频率最高的感叹，也直观暴露了人类验证速度与AI生产速度之间的巨大落差。

黎曼、霍奇、BSD：三大千禧年难题同时“被点名”

真正让这次发布出圈的，是论文触及的选题层级。黎曼猜想、霍奇猜想、BSD猜想，这三个名字全都位列克雷数学研究所2000年悬赏征解的七大“千禧年难题”——每道题悬赏100万美元，悬赏二十余年至今无人完整攻克。研究这些猜想的任何实质性进展都足以震动数学界，而现在，三座大山同时出现在同一家AI公司的一批论文清单里，冲击力可想而知。

• 黎曼猜想：关于ζ函数非平凡零点分布的命题，是解析数论的基石，决定着素数分布的精细规律；
• 霍奇猜想：代数几何的核心难题，追问代数簇上的某些拓扑对象能否由代数闭链实现；
• BSD猜想：将椭圆曲线有理点的代数结构与L函数的解析性质联系起来，是算术几何的支柱性猜想。

需要强调的是，截至目前并无权威渠道确认三大猜想中的任何一个已被完整证明。这批论文更接近于围绕相关问题的海量尝试与部分结果——这些结果成色几何、能否立足，恰恰是数学界接下来争论的焦点。

菲尔兹奖得主泼冷水：数量不等于认可

面对铺天盖地的讨论，三位菲尔兹奖得主的回应被广泛引用，核心态度可以浓缩为一句话：

不代表认可。

菲尔兹奖被誉为数学界的最高荣誉，每四年颁发一次，仅授予40岁以下的杰出数学家，获奖者的谨慎表态分量十足。在三位顶尖数学家看来，722篇的规模本身不构成任何学术背书：数学的认可只有一条路径，即同行逐条检验证明、确认无懈可击。“发表”与“成立”之间，仍隔着数学共同体最严格的一道关卡。

这一表态也点破了AI数学成果的普遍困境：模型可以高速生成看似严谨的长篇证明，但一个隐藏的错误引理就足以让全篇坍塌。一个可作参照的先例是，望月新一关于abc猜想的数百页证明发表多年，至今仍未获得学界普遍接受，超大体量证明的验证之难可见一斑——而722篇论文的总工作量，远在单一证明之上。

从IMO金牌到论文雨：AI数学竞赛再提速

把时间线拉长看，这次发布并非孤立事件。2024年，谷歌DeepMind的AlphaProof与AlphaGeometry在国际数学奥林匹克（IMO）中拿下银牌级成绩；2025年，OpenAI宣布其实验性推理模型在当年IMO试题上达到金牌级水平，一时间“AI何时做出原创数学发现”成为行业热议话题。如今从竞赛解题迈向批量产出论文，OpenAI等于把赌注又加了一档，也把AI能力的展示舞台从考场搬到了真正的科研前沿。

对OpenAI而言，这是一次面向数学界与资本市场的双重展示：AI不仅能做题，还能“写论文”。对整个行业来说，数学则是检验前沿模型推理上限的试金石——规则明确、结论可严格验证，一旦AI能在其中稳定产出真发现，向物理、材料等其他科学领域扩散只是时间问题。这也是为什么，尽管质疑声不少，这场发布仍被许多人视作AI科研的一个标志性节点。

接下来的关键问题只有一个：这722篇论文中，究竟能有几篇经得起全球数学家的逐行检验？可以预见，数学社区将不得不建立新的“分诊”机制——借助Lean等形式化验证工具批量筛查证明，优先复核最关键的声明，再决定稀缺的审稿精力投向何处。无论最终结论如何，这场“论文雨”都已把一个根本问题摆上台面：当AI的生产速度远超人类的验证速度，数学共同体的评审体系将如何重构。这个问题的答案，或许比任何单篇论文都更值得等待。