OpenAI悄悄攻破第二道千禧难题!20位菲奖得主联名抗议:奇点是封没人读的PDF

全世界最聪明的数学家们，正在经历一场前所未有的认知冲击。

几天前，硅谷科技媒体《The Information》披露重磅消息：OpenAI 已经在内部极度接近解决“霍奇猜想”（Hodge Conjecture），这是克莱数学研究所设立的七大“千禧年大奖问题”之一，每个悬赏100万美元，被公认为纯数学领域最抽象、最险峻的巅峰。

▲ Stephanie Palazzolo 爆料 OpenAI 逼近霍奇猜想，却因公关风波推迟发布

出人意料的是，这一次 OpenAI 并未公开庆祝，反而悄悄按下了暂停键。

知情人士透露，他们甚至在考虑推迟正式公布。原因令人啼笑皆非：就在几天前，OpenAI 刚刚用 10000 个 AI Agent 闪击了另一道千禧年难题，纳维–斯托克斯方程（Navier–Stokes），结果在整个数学界激起轩然大波，遭到了20多位菲尔兹奖得主的联名痛批。

AI 正在以“天”为单位，批量攻破人类苦思了半个多世纪的数学圣杯。

但多伦多大学数学家 Daniel Litt 却在一场播客中抛出了一句发人深省的预言：

“奇点并不会伴随着雷鸣到来，它只会是一封躺在邮箱里、永远没人去打开的 PDF 附件。”

72小时算力闪击：被惹怒的数学江湖

要理解霍奇猜想背后的诡异沉默，必须先看上一周究竟发生了什么疯狂的事。

2026年9月1日，OpenAI 内部偶然听到一个传闻：有人正在逼近流体力学皇冠上的明珠，纳维–斯托克斯方程。

▲ Quanta 杂志深度报道：AI 找到了流体方程的“有限时间爆破”

所谓纳维–斯托克斯方程，是高中物理里描述水流、空气、甚至血液流动的经典物理方程。物理学家用了几百年，但数学家一直悬着一颗心：在三维空间里，完美平滑流动的水，会不会在某一瞬间突然形成一个极端漩涡，让速度直接飙到无穷大（数学上的奇性爆破）？

如果会爆破，就意味着人类现有的连续介质物理模型在数学上彻底失效。

为了抢下这道千禧难题，OpenAI 展现了令人战栗的工业级算力暴力：

• 调动 约 10,000 个并发 AI Agent；
• 连续疯狂推演 88 个小时，吐出 1300 亿个 Token；
• 生成了整整 270 万条 协作消息；
• 最终由代号 GPT-6 Astra 的模型，在 17 小时 内完成了严格的 Lean 机器形式化代码验证！

▲ 数学家们出离愤怒：大模型用暴力抢跑撕碎了学术共同体

9月8日，OpenAI 甩出一篇长文，声称他们证明了：在特定光滑外力下，流体确实会发生奇性爆破！

为了彰显格局，OpenAI 还特意声明：我们一分钱的百万美元奖金都不要。

然而，整个学术界顿时一片哗然

纽约大学数学家 Tristan Buckmaster 率先站出来公开控诉：他和团队辛辛苦苦沿着一条全新路径探索了一整年，结果 OpenAI 在得知未发表进展后，凭借数百万美元的算力池闪电超车、暴力封顶。

紧接着，二十多位菲尔兹奖得主签署联合公开信，痛斥这种“算力冲关”正在摧毁数学界数百年来的开放协作生态。

OpenAI 第一次发现，在纯数学这个最看重纯粹与优雅的领地里，哪怕你赢了，别人也可能觉得被掏空了尊严。

霍奇猜想：连名字都让人眩晕的“抽象怪兽”

还没等纳维–斯托克斯方程的硝烟散去，OpenAI 的战火就烧到了霍奇猜想。

如果说流体力学方程至少还能让人联想到湍流与风洞，那霍奇猜想则是纯粹的高维几何迷宫，被《科学美国人》称为“七大千禧难题中最抽象的一道”。

▲ 克莱数学研究所官网：霍奇猜想依然标注着醒目的红色“Unsolved”

用一个高中生都能听懂的比喻来解释霍奇猜想：

想象你手里有一个高维度的、扭曲得极其复杂的“甜甜圈”几何体（复射影代数簇）。

拓扑学家想要研究这个甜甜圈内部到底有多少个看不见的“洞”（上同调类）。但这些洞太虚无缥缈了，怎么才能抓住它们？

1950年前后，数学家威廉·霍奇提出了一个大胆的猜想：每一个满足特定对称条件的拓扑“洞”，本质上都可以用一把极其锐利的代数方程“切片”（代数闭链）精巧地拼凑出来。

通俗地说：那些最复杂的抽象几何空间里的形状洞穴，到底能不能全被最干净的代数方程完全描述？

半个多世纪以来，无数顶级几何学家穷尽一生，也仅仅在低维空间里撕开了一点点缺口。在四维及以上的浩瀚宇宙里，人类的大脑早已无法直接构建出直观的图像。

▲ 科技博主整理：OpenAI 正在利用代号 Doug 的下一代模型将数学作为通用智能的试金石

根据《The Information》报道，OpenAI 这次使用的是代号为 "Doug" 的下一代预训练模型变体。

OpenAI 内部如此执着于啃下霍奇猜想，关键着眼点在于：数学是通向“递归自我改进”（Recursive Self-Improvement）的终极练兵场。

在现实世界里训练 AI 写代码或写文章，对错往往模棱两可；但纯数学有着冷酷无情的裁判尺度，逻辑对了就是对了，错了就是一行编译报错。如果 AI 能自主攻克霍奇猜想，就意味着它拥有了人类最顶级的抽象构造能力，能够自己设计算法、自己验证新架构，向着完全自主进化的 AGI 迈出决定性一步。

然而，当媒体铺天盖地宣称“霍奇猜想即将告破”时，多伦多大学教授 Daniel Litt 却冷冷地在推特上回了一句：

“『接近解决』（Close to solving），到底是什么意思？”

▲ Daniel Litt 在社交平台上一针见血地追问定义

在数学的世界里，没有 99% 的证明差一个引理没证完，就等于根本没有证明。

终极危机：如果没人读得懂，它还算真理吗？

当算力以推土机般的姿态碾碎一道道数学难题时，一个更深层、更令人恐惧的哲学危机正在浮出水面。

9月14日，Daniel Litt 发表了一篇震撼学术界的长文《A beginning for mathematics》（数学的新开端）。

▲ Daniel Litt 刊发长文：当 AI 能够廉价生产数学论文时，人类数学何去何从？

他在文中撕开了一个残酷的真相：

过去几百年，人类数学界有一套心照不宣的规则，“解决重大难题”等于“推动人类理解”。一个数学家证明了猜想，写成论文，在讨论班上讲给大家听，其他人理解了其中的绝妙思想，进而开创出新的学科。

但现在，这个链条被彻底斩断了

AI 输出的纳维–斯托克斯和霍奇猜想证明，可能包含数百万行冷冰冰的 Lean 形式化代码。计算机编译器可以在几秒钟内打上一个绿色的勾：[Verified]，确保在形式逻辑上没有一个符号出错。

但是，全人类没有一个大脑能够装得下这个证明的思想脉络。

▲ Meta/NYU 研究员 Ravid 总结：无人理解的输出毫无价值，奇点将以没人打开的 PDF 降临

Meta 与纽约大学的 AI 研究员 Ravid Shwartz Ziv 一针见血地指出：

“如果一个猜想在森林深处倒下了，而周围没有任何一个人听见，真的有人在乎吗？”

如果机器只是吐出了一篇长达千页、结构晦涩、充满机械暴力搜索痕迹的 PDF 论文，人类数学家既无法从中获得灵感，也无法用来启发学生，那么这种证明对人类文明而言，究竟意味着什么？

算法研究员 Ittai Abraham 给出了一个极其贴切却无比悲凉的比喻：

“未来的纯数学家，将不再是数学的创造者，而会变成天文学家，我们架起有限的望远镜，去观测 AI 那座深邃、冰冷、超出人类直觉维度的外星宇宙。”

奇点降临之日，人类何去何从？

2006年，俄罗斯数学隐士格里戈里·佩雷尔曼（Grigori Perelman）在证明了庞加莱猜想后，拒绝了百万美元千禧年奖金，隐退在圣彼得堡的森林边。

那是人类英雄主义时代的绝唱：一个天才，凭借一张草稿纸、极致的直觉和孤独的冥想，为全人类推开了一扇真理的大门。全世界的数学家花了三年时间研读他的三篇 arXiv 论文，每一次读懂都伴随着灵魂层面的共鸣。

而今天，OpenAI 同样声明放弃了百万美元奖金。

但这一次，没有人感到浪漫取而代之的是由一万个硅基大脑日夜不眠运转带来的深深窒息感。

▲ Litt 坚信：哪怕 AI 给出绝妙讲解，建立理解与热情的制度依然必须由人类构成

正如 Daniel Litt 所言，生成数学可以被自动化，但理解数学永远无法被代劳。

宇宙中最昂贵的算力，可以把一万个 Agent 塞进服务器，可以在几十个小时内用符号重写霍奇猜想与纳维–斯托克斯的命运。

但无论 AI 生成的 PDF 有多么完美，机器永远不会因为发现了一个优美的对称性而热泪盈眶，也不会在午夜的黑板前为了一个顿悟而心跳加速。

当那封名为“Hodge_Conjecture_Proof_Final.pdf”的附件最终被投递到人类的收件箱时，我们或许终于要面对那个终极的问题：

如果真理已经不需要人类来理解，我们究竟是为了什么，才在星空下苦苦追寻了数千年？