ARTICLE · 1047924
第二道千禧难题也要破了?OpenAI狂暴算力逼近霍奇猜想,数学界暴怒:奇点成了没人打开的PDF
人类智力的终极圣殿，正在被狂暴的硅基算力撞得轰然作响。
几天前，整个数学界刚刚经历了一场大地震：OpenAI突然发布重磅成果，宣布攻克了价值100万美元的七大“千禧年大奖难题”之一，纳维–斯托克斯方程（Navier–Stokes）。上万个AI智能体并发狂轰88小时，一举给出了人类苦求数百年的流体奇点证明。
全球顶尖数学家还没来得及消化这记重锤，紧接着又传出更为惊人的消息。
科技媒体《The Information》突发独家爆料：OpenAI内部已经极度接近解决第二道千禧年难题，代数几何皇冠上的明珠“霍奇猜想”（Hodge Conjecture）！
▲ Ravid Shwartz Ziv 引用帖：奇点会以一个没人打开的PDF附件形式到来
然而，极其诡异的是，OpenAI这次没有立刻大张旗鼓地发推特开香槟，反而把手里的证明死死捂住。
原因令人啼笑皆非又毛骨悚然：数学界已经彻底被激怒了。OpenAI高层正在紧急开会商讨，怎么公布才不会引发新一轮毁灭性的学术公关危机。
多伦多大学数学家丹尼尔·利特（Daniel Litt）在播客中留下一句震撼业界的警告：
“如果超人级的AI不断吐出没人读得懂的证明，这些输出就毫无价值。AI时代的奇点，最终会以一个没人打开的PDF附件形式到来。”
88小时算力碾压：一场引发学界海啸的“暴力夺旗”
要理解为什么数学家会对“霍奇猜想被攻克”的消息如此恐慌，必须先把时间拨回几天前的纳维–斯托克斯风波。
2026年9月8日，OpenAI官网毫无预警地上线了一篇论文《On the Navier–Stokes Millennium Prize Problem》。
▲ OpenAI 官网发布纳维–斯托克斯方程证明
官方公布的技术细节同样令人震撼：
- 调度规模
：动用了上万级并发的AI智能体协同推理； - 破题耗时
：从模型启动到完整吐出解析证明，仅用了88小时； - 机器验证
：随后仅用17小时，就完成了数学形式化语言Lean的代码编写与零漏洞核验。
在以往，一个千禧年难题的突破往往需要人类顶级数学家耗费数十年心血、耗尽几代人的青春。而OpenAI的算力集群就像一台不知疲倦的工业压路机，在短短几天内把人类几百年的智力壁垒直接推平。
OpenAI甚至大度地表示：“我们不要那100万美元奖金，这只是为了展示AI模型的最新进化。”
然而，迎接这一成果的远非掌声，数学界迅速掀起了一场学术海啸。
纽约大学数学家与竞品研究团队迅速站出来公开质疑：指出AI涉嫌在未注明引用的情况下，顺着人类学者刚刚公开的思路进行“算力截胡”。
紧接着，包括陶哲轩在内的约25位菲尔兹奖得主发起联署公开信，直指AI公司与纯数学追求之间的“严重错位”：
▲ 陶哲轩博客转载菲尔兹奖得主联合声明：数学中AI的严重错位
数学大师们在信中尖锐地质问：把人类未解的深邃难题当成AI产品的跑分基准，用算力暴力量产浩瀚无边的“劣质灌水数学”（slop mathematics），不仅没有滋养数学，反而正在摧毁这片纯粹的沃土。
正是在这种剑拔弩张的火药桶上，《The Information》扔下了那张底牌，OpenAI的下一把屠刀，已经架在了霍奇猜想的脖子上。
霍奇猜想：AI撞向了人类抽象思维的极境
如果说纳维–斯托克斯方程还在描述风、水、气流等物理世界的规律，那么霍奇猜想，则是纯粹抽象数学中最深邃的幽灵。
克莱数学研究所在2000年悬赏七大千禧难题时，霍奇猜想被公认为其中最抽象、横跨领域最广、最考验人类几何直觉的超级硬骨头。
▲ 克莱数学研究所官网：至今仍标为“未解”的霍奇猜想专题页
用最通俗的语言来说，霍奇猜想在问一件极其浪漫的事：无形的高维空间里那些看不见摸不着的“虚空洞穴”，能不能用简单优美的高维积木给拼出来？
我们可以用三步来建立直觉：
- 代数簇（几何形状）
：数学家在纸上写下一组复杂的多元高次多项式方程，这些方程所有解在空间中画出来的轨迹，就是高维几何形状。 - 拓扑洞（霍奇类）
：拓扑学家关注空间的连通性与是否存在“空洞”，忽略具体的尺寸与凹凸。如同甜甜圈中心穿透的孔洞，高维空间中同样存在极其复杂、难以肉眼直观的高维“空洞”。 - 霍奇的核心追问
：拓扑学家探测到的这些玄妙高维“空洞”，究竟能否由更低维度的、同样能用多项式方程写出来的优美子形状（代数闭链）严丝合缝拼出来？
▲ 维基百科对霍奇猜想的几何解释：拓扑与代数的交汇
低维情况下，答案是肯定的但在四维及以上的浩瀚几何世界中，七十多年来，没有一个人能证明它对所有情况都成立。它连接了代数几何、复分析与拓扑学，是人类构筑现代几何大厦的底层承重墙。
而现在，传闻AI不仅摸到了这堵墙，甚至已经快要把它拆解完毕。
当科技记者发推爆料这一消息时，多伦多大学代数几何学家Daniel Litt在底下只回了一句冰冷而玩味的追问：
“所谓‘接近解决’，到底是什么意思？”
▲ Daniel Litt 回复质疑：接近解决到底是什么意思？
这句话戳中了所有数学家的痛处：在纯数学的世界里，只有“成立”与“不成立”，从来不存在模糊的“接近”。如果AI生成的只是一份几十万行、没人看得懂、但机器跑得通的代码，这算不算被人类攻克？
形式化冰冷通过，人类却一头雾水：谁在杀死“理解”？
AI解决数学问题，和人类数学家到底有什么本质区别？
答案是：真值（Truth）与理解（Understanding）的彻底撕裂。
为了防止AI瞎编胡话，现在的顶级AI实验室普遍引入了Lean等数学形式化证明系统。AI不仅要写出英文论证，还要把每一步推导翻译成底层代码，交由编译器做绝对严格的逻辑扫描。逻辑链条只要有一丝断裂，程序就会报错。
▲ Daniel Litt 发表万字长文《数学的开端》
哥伦比亚大学理论计算机学者Henry Yuen在仔细审阅了AI生成的一批前沿证明后，直言不讳地指出了这种“硅基数学”的荒诞感：
“AI写出来的证明，有着极其典型的ChatGPT机械风格：在最无关紧要的基础铺垫上不厌其烦地写了几十页，但在最核心、最致命的技术跳跃点上，却极其轻描淡写地直接抛出一个天外飞仙般的代数变换。没错，Lean形式化验证通过了，证明每一行逻辑都绝对无误。但这串代码没有给人类带来任何哪怕一丝一毫的实质理解。”
这正是整个学术界最深层的恐慌：
在传统科学史中，一个难题被攻克，往往伴随着一套全新的概念框架、一种优美的思维工具的诞生。数学家读懂了证明，掌握了思想，把工具放进武器库，进而推动物理学、密码学、工程学的全面繁荣。
而现在的超人AI，像是一个把答案硬生生塞进黑箱的算力神明。它扔给你一本千万行的代码天书，冷冷地告诉你：“答案是肯定的，我已经验证过了，你们人类去慢慢啃吧。”
当AI产出证明的速度达到了每天上百篇，而人类全球最顶尖的专家一年只能精读两三篇时，知识的供给与人类生物学大脑的消化能力之间，出现了一条无法逾越的鸿沟。
硅基时代的未来预言：我们正在变成仰望星系的天文学家
为什么OpenAI宁愿背负骂名，也要不计成本地把算力倾注在纯数学上？
根据多家科技媒体的深度挖掘，这项举措承载着更大的技术野心：它是OpenAI通向“递归自我改进（Recursive Self-Improvement）”和自动化AI科研的核心阶梯。
纯数学是唯一一个逻辑绝对严密、对错边界清晰、无需物理世界反馈即可通过自我对抗进行无限验证的领域。一旦AI能够在纯数学这种人类最高维度的思维沙盒中实现自我进化，它就能自主设计更先进的神经网络架构、发明更强悍的训练算法。
纯数学，不过是AI通向全面自动化超级智能的一块磨刀石。
算法学者Ittai Abraham在此次争论中，留下了一段极为冷酷却充满哲理的未来学预言：
“数学将从人类亲手构建的造物，转变为一门‘理解AI产物’的经验科学。未来的数学家们，将不得不去探测和研究那些过于超前、人类心智根本无法完全理解的宏大结构，如同天文学家透过口径有限的望远镜，去凝视遥远宇宙中不可名状的星系一样。”
▲ Ittai Abraham 预测：数学将变成理解AI产物的科学
千百年来，人类之所以热爱数学，是因为那些精妙绝伦的对称与证明，是人类心智与宇宙底层法则最深情的共鸣。我们在草稿纸上写下公式，就像在黑夜中点燃一支火把。
而今天，当一台超级计算机在几秒钟内倾泻出胜过太阳的磅礴算力强光，人类却突然发现：我们不仅未能看清黑暗，反而被这道强光彻底遮蔽了视线。
奇点已然降临，既无毁灭性的核爆炸，亦无机器人的钢铁洪流。
它就静静地躺在服务器里，伪装成一份成千上万页、充满无尽正确代码、却再也没有一个人类能够读懂的，PDF附件。