数学中国

标题: 陶哲轩承认：在世数学家无人能及！OpenAI 攻克黎曼方向 50 年最大难关 [打印本页]

作者: luyuanhong 时间: 2026-10-25 02:01
标题: 陶哲轩承认：在世数学家无人能及！OpenAI 攻克黎曼方向 50 年最大难关
陶哲轩承认：在世数学家无人能及！OpenAI 攻克黎曼方向 50 年最大难关

原创  北美观察  算力星环  2026 年 10 月 22 日 11:32  北京

2026 年 10 月中旬，一句话在硅谷与全球数学界同时炸响。

说话的人是陶哲轩（Terence Tao），菲尔兹奖得主，公认站在人类智识巅峰的数学家。

几周前，他还是 AI 数学最严厉的批评者之一，直言科技巨头是在把未经处理的“生肉”扔给数学家收拾残局。

但在最新一期访谈里，面对 OpenAI 内部模型交出的一份证明，他给出了一句震动学界的评价：

“这是该课题 50 年来最大的进展……我不认为在世的任何一位数学家，单凭自己能想出这个办法。”

[attach]171612[/attach]
▲ 社交网络上疯传的陶哲轩访谈引述：50 年来最大突破，在世数学家单枪匹马无人能及。

人类最聪明的大脑，刚刚承认在一条困扰学界半个世纪的硬核赛道上，单打独斗的人类已经算不过机器了。

01  节点一：10 月 6 日，3 小时算力与“两个菲尔兹奖”

风暴的起点，在十天前。

2026 年 10 月 6 日，OpenAI 突然发布博文《Sharing AI progress in mathematics》，并在 GitHub 上公开了一个名为 openai/math 的代码仓库。

没有发布会，直接甩干货。

仓库里一口气塞进了 719 篇数学手稿，归入 372 个成果族，全部由一个“尚未公开的内部前沿模型”产出。

其中约四成顶级结果附带了 Lean 语言形式化代码，计算机可以直接逐行核验，不留任何人类式的“显然成立”。

最夸张的是成本。

OpenAI 在说明里轻描淡写地写道：平均每个结果，大约只消耗了相当于 3 小时 ChatGPT Pro 级别的思考算力。

[attach]171613[/attach]
▲ OpenAI 于 10 月 6 日发布官方博文，公开内部前沿模型产出的大批数学新结果。

[attach]171614[/attach]
▲ GitHub上的 openai/math 仓库迅速斩获超 1.5 万星标，内含 719 篇 AI 生成的数学手稿。

在这座算力堆出的山峰顶端，放着一篇写于 9 月 30 日、长达 199 页的重磅手稿：《准黎曼假设：零点自由半平面 Re}(s)>7/8 》。

要理解何为“准黎曼假设”，需要先回到黎曼假设本身。

160 多年来，数学界最大的圣杯叫黎曼假设。

它关乎素数（2, 3, 5, 7……）在宇宙中的分布规律。

数学家猜想，黎曼 zeta 函数所有关键的“非平凡零点”，全都整整齐齐地站在复平面一条垂直线上，实部等于 1/2（即 0.5 ）的那条线。

但人类离 0.5 太远了。

在过去一百多年里，数学家只知道这些零点都在实部为 1 的红线左侧。

至于离 1 有多远？

以往最好的证明，画出的“无零点安全区”像一个越往上越窄的漏斗，高度越高，安全区就越贴近 1 。

谁也没法在 1 的左边竖起一道笔直的、上下贯通的防火墙。

而“准黎曼假设”退了一步：哪怕到不了 0.5 ，能不能先在小于 1 的某个固定位置，筑起一道绝对没有零点的垂直高墙？

OpenAI 的模型，直接把这道墙拍在了 7/8（即 0.875 ）的位置上。

[attach]171615[/attach]
▲ 长达 199 页的准黎曼假设主手稿目录，作者一栏只有冷冰冰的六个字母：OpenAI 。

按陶哲轩的比喻，如果从 1 走到 1/2 是通往黎曼假设的完整马拉松，人类在起点线附近磨蹭了 50 年，而 AI 一脚油门，直接跑完了四分之一的全程。

不仅如此，配套手稿还顺手排除了长期扰乱素数分布估计的“幽灵”，朗道-西格尔零点（Landau–Siegel zeros）。

消息一出，数论界彻底沸腾。

罗格斯大学数学家亚历克斯·孔托罗维奇（Alex Kontorovich）当天连发数帖惊呼：如果这是人类做出来的，这就是“毫无争议的即时菲尔兹奖”！几小时后他看完全套声明，又颤抖着补了一句：“既然西格尔零点也被干掉了，那大概是两个菲尔兹奖。”

[attach]171616[/attach]
▲ 数学家孔托罗维奇连打四个惊叹号与问号，直言该成果若由人类完成足以斩获菲尔兹奖。

02  节点二：10 月 8 日，15 日，arXiv上的“AI 条件性数学”狂飙

一场学术风暴，在接下来的七天里集中爆发。

按照传统学术规矩，长达 199 页的顶级证明，光同行评审就要审上好几年。

但这一次，全球数论学家根本等不及了。

10 月 8 日至 15 日，预印本平台 arXiv 上爆发了一场人类学术史上从未见过的连锁反应，“ AI 条件性数学”（AI-conditional mathematics）。

学者们直接把 OpenAI 尚未完全经过人类消化的定理当作“前置基石”，开始疯狂推导下游的百年难题：

● 用 AI 核验 AI ，补齐绝对常数：10 月 11 日，密苏里大学数学家威廉·班克斯（William D. Banks）发文，把 OpenAI 艰涩的机器手稿改写成了人类易读的证明，并算出了西格尔零点排除了定性模糊后的精确数值下界。最魔幻的是致谢栏：他声明自己是用 Anthropic 的 Claude 模型，来协助核验 OpenAI 的代数推演。

● 哥德巴赫猜想迎实质推进：10 月 12 日，匈牙利著名数论学家亚诺什·平茨（János Pintz）团队出手。中国人最熟悉的哥德巴赫猜想（每个大于 2 的偶数都是两个素数之和），有一个核心指标叫“例外偶数集合”上界。平茨直接引入 OpenAI 的 7/8 定理，在 ChatGPT 协助展开繁琐代数与排版的配合下，一举将例外集指数压到了  X^(7/12+ε) 。

● 华人学者掀起“调参”竞速：AI 留下的证明框架里有几个自由参数。10 月 8 日，刘百鹰（Baiying Liu）通过优化参数，把 7/8（0.875）的界限推到了 0.874957 ；四天后，桑何坚（Hejian Sang）又将其刷新到 0.8748867 。维多利亚大学教授马特·维瑟（Matt Visser）则顺势证明：在任何相邻自然数的八次方之间，必定存在至少一个素数。

[attach]171617[/attach]
▲ 独立追踪站点 Post-Cutoff 将这一事件标为“历史性（historic）”，状态仍为“等待审阅”。

短短一周，一座宏伟的数论大厦拔地而起。

但所有这些论文的摘要里，都写着同一句令人心惊肉跳的免责声明：“本文所有定理，均建立在 OpenAI 宣称的 7/8 证明完全有效的前提之下。”

人类数学家，第一次集体在 AI 打下的地基上“加杠杆”盖楼。

03  节点三：10 月 15 日，旧零件砌出的“外星建筑”

为什么人类自己想不出来？

这正是陶哲轩在 10 月 15 日 Numberphile 播客《 No More Heroes（不再有英雄）》里剖析的核心。

拆开 OpenAI 那 199 页天书，里面的数学工具居然全都认识：泊松求和、对偶均方估计迭代、theta 函数计算、立方族 L 函数……没有一个是外星文明降维打击的新公理，全是解析数论里的“老零件”。

[attach]171618[/attach]
▲ Numberphile 播客上线陶哲轩专访《No More Heroes》，直指数学界“孤胆英雄时代的终结”。

“它像是把三四种已有的想法，用一种极不寻常的方式组合在了一起。”

陶哲轩在访谈中给出了一个极其毒辣的洞察。

为什么在世的顶尖数学家谁也拼不出来？

因为人类有“学科洁癖”和思维惯性。

每一个人类学者都深耕自己的子领域，习惯沿着有美感、符合直觉的路线走。

把四个不同角落的旧工具硬拧在一起，中间要穿过无数条毫无美感、极其繁琐的死胡同。

没有一个人类天才愿意花三年时间，去赌一条看起来极其别扭的交叉小路。

但 AI 不受学术虚荣或思维定势束缚。

它用暴力搜索的耐心，在人类不屑于涉足的尴尬交叉带里反复试错，硬生生用旧砖块砌出了人类造不出的新拱桥。

[attach]171619[/attach]
▲ 网友将 2023 年“ AI 做不出任何通向发现的新连接”的质疑，与 2026 年陶哲轩承认“非常规组合”并置对比。

这也击碎了许多人对“原创性”的傲慢幻想。

过去我们总以为，只有发明全新的原子概念才叫智慧；

但 OpenAI 证明了，当组合的复杂度跨越人类大脑的带宽极限时，“旧想法的重组”本身就会涌现出碾压级的创造力。

04  节点四：500 万美元的荒诞闭环与“数学 2.0 ”

然而，承认 AI 强大的同时，陶哲轩并没有欢呼。

相反，他感到一阵生理性的不适。

他在访谈里把 AI 生成的证明比作“快餐”，能填饱肚子，但毫无咀嚼的乐趣。

随之而来的则是学术生态的剧烈冲击：随着 719 篇手稿一夜倾泻，许多年轻学者苦熬数年的博士课题瞬间被 AI“扫光”。

陶哲轩直言，科技公司这种只管倾倒结果、不管学界死活的做法，“至少是非常没有礼貌的”。

[attach]171620[/attach]
▲ 陶哲轩将批量生产的 AI 数学证明比作“快餐”：能吃，但没那么令人满足。

为了应对这场危机，陶哲轩在加州理工学院的公开讲座里提出了《Math 2.0》构想。

他一针见血地指出：过去两千年，人类数学建立在“证明稀缺”之上。

因为证明太难了，所以“解出难题”成了衡量“深刻理解”的最佳指标。

但现在，我们一头撞进了“证明丰裕”时代。

AI 直接跳过“理解”，把 199 页标准答案拍在你脸上。

指标失效了。

[attach]171621[/attach]
▲ 陶哲轩在博客中公布《Math 2.0》讲稿，探讨“证明丰裕”时代数学研究范式的转移。

整场风暴最荒诞、也最具戏剧性的一幕，发生在 10 月 15 日。

就在陶哲轩访谈上线的同一天，OpenAI 更新了官方博客，宣布向西蒙斯基金会（Simons Foundation）捐赠 500 万美元，专门立项资助人类数学家去做的只有一件事：审读、理解并消化 AI 生成的数学结果。

细想一下这个闭环有多么魔幻：

机器花 3 个小时算力写出一篇菲尔兹奖级别的证明，人类看不懂；

于是造出机器的公司，再掏出 500 万美元真金白银，雇佣地球上最聪明的人类大脑，去当机器的“阅卷老师”和“翻译官”。

孤胆英雄闭门十年、一朝顿悟的浪漫数学时代，在这一刻悄然落幕。

当 AI 开始用旧零件批量组装真理，人类科学家的终极使命随之转变：比起争相抢先撞线，读懂机器留下的运算轨迹，将那些冰冷的逻辑符号重新翻译为人类心智能够理解的认知框架，正成为新的科学职责。

算力星环

欢迎光临数学中国 (http://www.mathchina.com/bbs/)