陶哲轩惊叹50年最大突破!OpenAI撞凹黎曼猜想,10天引爆数学界多米诺骨牌

十月中旬，数学界发生了一场罕见的地震。

震源来自一条在社交网络上疯传的访谈切片，而非某位隐世天才的手稿。

画面里的人是陶哲轩当代公认最顶尖的数学家，菲尔兹奖得主。就在几周前，他还是硅谷AI巨头最严厉的批评者。他曾毫不客气地嘲讽，这些科技公司正在把未经消化的“生肉”成吨倾倒在数学家面前，留下一地鸡毛让人类去收拾。

但这一次，面对镜头，陶哲轩罕见地改口了。

他承认，OpenAI在“准黎曼假设”上取得了该领域五十年来最大的突破。紧接着他抛出了一个极具冲击力的判断：这项技术把三四种既有想法以极其诡异的方式拧在一起，“在世的任何一位数学家，单凭自己都不可能想出这条路。”

▲ 社交网络上疯传的Numberphile访谈切片，陶哲轩坦言“在世的单个数学家不太可能独自想出”

一句话，全网沸腾

但如果你顺着这条引语往回扒，把时间拨回十天前，你会发现一个比“AI打脸人类宗师”复杂得多、也刺激得多的故事。在这场风暴里，硅谷承诺的“算力神话”与数学界遭遇的“残酷现实”，正在发生最剧烈的碰撞。

01承诺中的“百年圣杯”，与现实里那堵 7/8 的铁墙

故事的起点在10月6日

那天，OpenAI在官网和GitHub仓库openai/math上，毫无预警地甩出了719篇由内部前沿模型产出的数学手稿，归入372个结果家族。平均每项成果，只消耗了相当于ChatGPT Pro思考3小时的算力。

▲ 10月6日，OpenAI官方账号宣布一次性公开大批内部前沿模型产出的数学成果

起初，人们以为这又是科技公司常见的公关造势。直到数论学家们点开了编号为“003”的文件夹。

几小时后，罗格斯大学数学家Alex Kontorovich在社交平台上发出一声惊呼：“准黎曼假设？如果是人类做出来的，这就是毫无争议的菲尔兹奖！” 紧接着，他看清了配套文件里顺手干掉的另一个百年幽灵，西格尔零点（Landau–Siegel zeros），忍不住自己回复自己：“那大概值两枚菲尔兹奖。”

▲ 数论学家Alex Kontorovich第一时间转发OpenAI目录，直言该成果若由人类完成足以斩获菲尔兹奖

到底什么是“准黎曼假设”？为什么一个带“准”字的结果，能让顶级学者如此失态？

我们不需要高深的复变函数，只要想象一条走廊。

素数（2、3、5、7、11……）是数学世界的原子，但它们在数轴上的分布却像掷骰子一样难以捉摸。1859年，德国数学家黎曼发现了一个“音叉”，黎曼函数。这个函数的“零点”位置，死死控制着素数分布的精细节奏。

所有人都知道，那些决定素数命运的“非平凡零点”，全都挤在实部0到1之间的一条竖直走廊里。

完整的“黎曼假设”许下了一个终极承诺：所有零点都老老实实排成一列，精确地站在走廊正中央那条 1/2（即 0.5）的中线上。 只要证明了这一点，素数分布的误差就会被压到最小。人类用超级计算机核对了前12万亿个零点，全都站在0.5上。但算再多也没用，数学需要的是对无穷远处的绝对证明。

整整一百三十年，人类连走廊的边都没摸清。

过去一个多世纪里，数学家只能在走廊右侧（靠近1的墙边）贴上一层“弧形墙纸”，越往走廊高处走，这层确定没有零点的安全区就越薄，薄得像一张纸。

而“准黎曼假设”不要弧形墙纸它要求在走廊里直接砌一堵笔直的、固定宽度的钢筋混凝土墙。

OpenAI的003号文件夹，就是砸向这条走廊的一记重锤。模型用一份199页的主文稿（附带Lean 4机器形式化验证）和一份49页的备选证明宣告：这堵竖直的铁墙，被直接推到了 7/8（0.875）的位置！

▲ 技术追踪站Post-Cutoff展示的003号家族核心主张：在实部大于7/8的半平面内绝无零点

因为零点在走廊里是对称分布的，右墙推到7/8，就意味着左墙同步推到了1/8。百年来第一次，所有漂浮在无穷高处的零点，被死死关进了1/8到7/8的铁笼里。

正如陶哲轩所说：“黎曼猜想没有倒，但被狠狠撞凹了一大块。”

02承诺中的“外星数学”，与现实里的“幽灵接线员”

在003号文件公开前，舆论场上关于AI做数学，一直存在两种极端的“承诺”。

悲观派笃信，大模型只是“猜下一个词的鹦鹉”，绝不可能做出原创证明；狂热派则幻想，AI一旦开悟，就会发明出人类大脑完全无法理解的“外星数学语言”。

然而，当普林斯顿和纽约大学的顶尖数论学家们花了两周时间，把AI的证明拆骨扒皮之后，现实给了双方一人一记耳光。

▲ 《Quanta Magazine》在10月19日刊发深度长文，探讨AI证明准黎曼假设后数学界的震荡

AI既非复读的鹦鹉，也未造出什么外星语言。

它干了一件极其诡异的事，化身成了人类知识库里的“幽灵接线员”。

拆解文稿的学者们发现，证明里用到的每一个零件，全都是人类早就造好的。里面有纽约大学Maksym Radziwiłł与Alexander Dunn近年的工作，有艾森斯坦域上的特殊三次结构，还有数论里相当冷门的“复盖形式”（metaplectic forms）。

普林斯顿数学泰斗Peter Sarnak看到证明路线时感慨万千。早在2002年，传奇数学家Henryk Iwaniec就曾走到过这片丛林附近，却在最后一刻擦肩而过。因为要把这三四个散落偏僻角落的工具强行焊在一起，中间需要跨越极其反直觉的组合鸿沟。

人类数学家有门派之见，有审美惯性，有精力极限。一个搞解析数论的学者，很难突然想到去冷门的代数角落里借一把锤子。但AI没有审美洁癖它在向模型抛出的四千道开放问题里疯狂试错，像一个不知疲倦的幽灵，把人类绝不会接在一起的四根电线，硬生生接通了。

但更荒诞的反差，出现在论文的“卖相”上。

你以为做出菲尔兹奖级突破的AI，写出的论文一定如诗般优雅？恰恰相反Radziwiłł毫不留情地吐槽：AI那份199页的7/8主文稿“写得烂透了”，满篇是冗余的绕弯和机械的符号堆砌，如果投给常规数学期刊，会因为难以卒读被编辑直接拒稿（desk reject）。

为了搞懂AI到底干了什么，人类数学家不得不暂时搁置那份199页的天书，转而去啃那份经过人工润饰、只有49页的11/12备选文稿。结果Radziwiłł读完发现，剥掉AI裹在外面的啰嗦废话，核心论证大纲竟然可以压缩到区区半页纸！

这就是AI数学最真实的现状：它能给你一座金山的坐标，却非要把地图印在两百页乱码般的草纸上。

03承诺中的“一路平推”，与十天内的“多米诺骨牌”

当墙被推到7/8（0.875）的消息传出后，科技圈立刻燃起了新的狂热承诺：既然AI花3个小时就能从1推到0.875，那再给它30个小时，岂不是能一路平推到0.5，彻底终结黎曼猜想？

然而，从10月6日到10月中旬，短短十天内在arXiv等预印本平台上爆发的连锁反应，却上演了一出截然不同的剧本。

一方面，向0.5挺进的道路，撞上了铜墙铁壁。

为了测试OpenAI这套新方法的极限，人类数学家立刻冲上去“拧螺丝”。10月8日，学者Baiying Liu在保留OpenAI核心策略的前提下，放开证明中的自由参数进行极限变分优化，解出一个三次代数方程，把0.875的边界往前推到了0.874957；三天后，Yuanda Xu与Hejian Sang引入“放大一阶矩”技术，又拼命往前拱了一点点，推到了0.8748867。

从0.875到0.8748867，哪怕把这套框架榨出油来，也只能在小数点后第四位做肉搏！ 这完美印证了陶哲轩在访谈中的毒辣预言：如果没有另一个极度聪明的新想法，现有的技术组合连3/4（0.75）那道坎都迈不过去，更别提直捣0.5的黄龙了。

但另一方面，横向的算术多米诺骨牌，却在十天之内轰然倒塌！

正如Radziwiłł所言：“黎曼假设的绝大多数已知推论，其实从准黎曼假设就能推导出来。”过去几十年里，无数数论学家写论文时都不得不加上一句憋屈的前提：“假设没有西格尔零点……”或者“假设存在固定无零点带……”。

现在，OpenAI一脚踹开了大门，憋了几十年的下游定理迎来了疯狂的兑现潮：

• 第6天（10月11日），哥德巴赫猜想迎重大进展：
   匈牙利数学家János Pintz与德国学者Ingo Althöfer火速发文。直接引用OpenAI的7/8定理作为输入，一举将偶数哥德巴赫猜想“例外集”的指数上界，压低到了惊人的7/12！
• 第7天（10月12日），战火烧向一切代数数域：
   数学家Dean Cureton与Jesse Thorner利用另一套证明系统AxiomProver，把OpenAI局限于特殊数域的方法全面推广，证明任意代数数域上的Dedekind 函数，在实部大于31/32的半平面内统统没有零点！
• 第8天（10月13日），经典猜想摘掉“假设”帽子：
   三位欧洲学者（特意在文中声明“全文未用任何AI工具”）引用上述突破，直接将代数数论中著名的Ellenberg–Venkatesh类群挠率上界，变成了无条件成立的绝对定理。
• 第9天（10月14日），素数间隙被死死锁住：
   新西兰数学物理学家Matt Visser推演出7/8边界的直接后果，在任意相邻八次幂之间，甚至更短的区间内，必然存在素数！有意思的是，Visser一边用着AI的结论发论文，一边在文中痛骂OpenAI释放的700多篇预印本“行文如垃圾”，提醒学界警惕自动形式化背后的隐患。

短短十天一边是纵向推进万分之一的寸步难行，一边是横向应用摧枯拉朽的全面开花。数学界从未经历过如此魔幻的十月

04承诺中的“算力乌托邦”，与现实里的“英雄时代终结”

故事讲到这里，我们终于能听懂陶哲轩在Numberphile访谈里那声复杂的叹息了。

那期节目的标题，叫《No More Heroes》（不再有英雄）。

▲ 10月15日上线的Numberphile播客专访，标题直指数学“英雄时代的终结”

科技巨头们承诺，AI批量生产证明，将把人类从繁琐的推导中解放出来，带入一个知识爆炸的乌托邦。

但在陶哲轩和20位菲尔兹奖得主的私密群聊里，大家感受到的却是深深的寒意。

陶哲轩在访谈中毫不讳言，OpenAI事先不与学界通气、一次性倾倒719篇证明的做法“极其失礼”。许多年轻学者苦熬数年的博士课题、赖以生存的学术方向，在10月6日那个早晨，像被推土机碾过一样，“一夜之间被抹掉了”。

更深刻的危机在于：在数学里，“理解（Understanding）”比单纯的“证明（Proof）”更加重要。

过去，因为人类算力有限，谁能孤身一人在阁楼里苦思十年，用精巧绝伦的洞察劈开一道难题，谁就是浪漫主义的孤胆英雄。因为人脑想不出太绕的死磕路线，所以人类证明一个定理的过程，往往就伴随着对数学结构更深层的理解。

但现在，“证明”与“理解”彻底脱钩了

AI像工业流水线一样，用3个小时的算力生产出199页人类读不懂、却在逻辑上无懈可击的“快餐证明”。定理被攻克了，但人类并没有因此变得更聪明。普林斯顿的Peter Sarnak甚至不得不临时改掉自己这学期的课程大纲，带着全班学生一页页去“破译”AI留下的天书，发誓在人类彻底读懂每一个细节之前，绝不承认它叫“定理”。

最讽刺的一幕发生在10月15日，也就是陶哲轩访谈上线的同一天。

OpenAI悄悄在10月6日的官宣页面顶部，加上了一个醒目的更新框：宣布向西蒙斯基金会（Simons Foundation）紧急捐资500万美元，外加免费算力。这笔钱干什么用？专门雇佣人类数学家，去阅读、检查、翻译并理解OpenAI自己生出来的那几百篇数学证明！

▲ 10月15日，OpenAI在发布页顶部追加更新：捐资500万美元资助人类数学家去“理解”AI产出的结果

你看，这就是2026年秋天的奇景：机器负责以光速倾倒真理的“生肉”，而曾经骄傲的人类精英，开始领着硅谷的补贴，在流水线末端做起了繁重的“消化”工作。

黎曼猜想的终极中线1/2依然遥不可及。但那个靠单枪匹马、灵光一现就能封神的数学浪漫主义时代，已经在7/8那堵冰冷的铁墙前，彻底落幕了。