一万个 AI 智能体在云端并发狂奔了整整 88 个小时

一万个 AI 智能体在云端并发狂奔了整整 88 个小时。 烧掉 1300 亿个输出 token，传了 270 万条消息。 就为了证明一件事： 在人类写了近两百年的流体力学方程里，一滴平静的水，速度真的会飙到无限大。

这就是 2026 年 9 月 8 日震惊整个数学界的纳维-斯托克斯方程爆破证明。 克雷数学研究所在 2000 年悬赏了七个千禧年大奖难题，每个悬赏 100 万美元。 研究水流和空气流动的纳维-斯托克斯方程，就是其中之一。 过去整整 90 年，全世界最顶尖的数学家都被卡在这道题上。 现在，OpenAI 突然抛出一篇长达 166 页的论文，宣布自己解出来了。

水流到底怎么了？ 你在水龙头下面接水，水流看起来温顺又平滑。 飞机在万米高空穿云而过，机翼周围的气流也是连续的。 但这套从十九世纪就写出来的物理方程，有一个致命的幽灵： 它在数学上算不算得下去？

1822 年法国工程师纳维和 1845 年英国数学家斯托克斯，把牛顿第二定律搬到了流体上。 他们的基本假设简单直接： 水是连续的介质。 只要给你当下的流速和压强，方程就能算出下一秒、下一小时甚至明天的状态。 天气预报、潜艇下潜、火箭穿出大气层，全靠这套公式。

但 1934 年，法国数学家让·勒雷发现了一个让人后背发凉的漏洞。 勒雷证明了这套方程在全局上存在弱解。 但如果水流开始剧烈旋转，形成涡旋，流速会不会在某一瞬间彻底失控？ 这就是数学上著名的有限时间奇点问题。 翻译成大白话： 在有限的时间内，水流的某一个点上，速度和旋转强度会不会直接飙到正无穷？

如果流速变成无穷大，公式里的导数就全部失效。 整套方程在数学上直接崩溃。 过去近一个世纪，数学界分裂成了两派。 一派人坚信水流是光滑自洽的，能量守恒会死死按住流速； 另一派人则在拼命寻找反例，试图证明这套方程会在某种极端条件下自己把算力烧穿。

OpenAI 证明的，恰恰是后一种：方程会自毁。 论文里描述的机制极其精巧。 那不是外部扔进去一颗炸弹，也不是施加了无限大的外力。 系统总能量始终是有限的。 自毁来自流体内部的螺旋内卷。 一个细小的涡旋在三维空间里一边旋转，一边被周围的流体疯狂拉伸。 就像花样滑冰选手收拢双臂，转速会越来越快一样。 这个涡旋的中心区域在不可逆转地收缩。 随着核心半径无限逼近于零，角动量守恒把旋转速度推向狂暴。 在有限的时间节点到达的瞬间，中心点的流速和涡度，直接在数学上冲破了天花板，飙成了无穷大。

听到这里，所有人都会冒出一个常识性的疑问： 如果公式算出来的水流速度是无穷大，现实世界里的水怎么没把地球撕碎？ 现实里的水为什么永远温和？ 答案藏在物理世界最底层的一道缝隙里。

纳维和斯托克斯在两百年前写下公式时，做了一个根本假设：水是连续介质。 在宏观尺度上，这个假设好用得像真理一样。 但现实里的水根本不是连续的。 水是一颗颗直径大约 0.28 纳米的水分子拼起来的。 当方程里的涡旋核心一路收缩，缩到纳米尺度以下时，水分子彼此之间的碰撞和微观黏性直接介入，把暴涨的动能转化成了热量。 现实里的水分子，在最后一刻把奇点踩熄了。 真实的水没有飙到无穷大。 失控的是人类用来描述水的这套连续介质模型。 这台数学机器在自己的极限边界上，露出了齿轮崩碎的裂缝。

比起数学公式，更让人后背发凉的，是这篇 166 页论文的诞生方式。

过去数学家攻克一道千禧难题，靠的是几十年的手推演算，靠草稿纸堆满地下室。 而 OpenAI 这次动用的是一整座工业云。 一万个自主智能体，在云端搭建起并发网络。 它们被分成不同的解题小组，各自探索不同的代数路径，把有用的引理实时同步给相邻集群。 88 个小时，整套系统吞吐了 1300 亿个 token，交互了 270 万条信息。 数学证明变成了一场高吞吐量的大规模图搜索。

写完 166 页还不算完。 为了堵住学术界的嘴，OpenAI 甚至没让人类审稿人慢慢看。 他们把这篇论文塞进了形式化定理证明器 Lean 4 里面。 让机器给机器写代码，只花了 17 个小时，就把 166 页的推导全部转化成了形式化证明。 Lean 4 是一台六亲不认的数学编译器。 它不懂流体的美感，它只按底层的逻辑规则逐行校验。 17 个小时跑完，编译通过，逻辑闭环。

然而就在论文公开的当天，一场巨大的地震在学术界炸开了。 纽约大学数学系教授特里斯坦·巴克马斯特，和 Anthropic 的研究员勒温特·阿尔珀吉，直接站到了聚光灯下。 这两位人类顶尖学者，在这个课题上已经默默攻关了一年多。 更致命的细节在于：他们在推导复杂引理和编写验证代码时，用的是 OpenAI 的编程工具。 学者在前线一砖一瓦地试探地形，后方的云平台却掌握着每一次调用的提示词、思路与代码片段。 巴克马斯特在公开声明里说得很克制： 我还没看到对方的证明，我不知道他们的模型用了什么数据，我不指控任何人。

但硅谷的商业机器根本不等人。 当你还在按部就班撰写论文、准备同行评审时，拥有无限算力的平台可以在一个周末调集一万个智能体，在 88 小时内强行把终点线推平。 OpenAI 随后高调宣布：我们不要克雷数学研究所那 100 万美元的奖金。 当然不需要。 100 万美元对一家估值千亿的巨头来说不过是九牛一毛。 用一万个智能体和 88 个小时换来第一个攻克千禧难题的桂冠，这才是不可估量的超级叙事。

菲尔兹奖得主陶哲轩曾经给整个数学界敲过警钟。 如果未来的数学被 AI 的暴力搜索全面接管，人类很可能会失去对数学真正的洞察力。 机器交出了一份 166 页的答卷，编译器的指示灯显示全部通过。 但在那场被一万个智能体穷举出来的微观风暴里，究竟有几行推导，人类还能真正理解它的灵魂？