{"id":"mb-20260910-ca75a2","kind":"deep","title":"一万个 AI 智能体在云端并发狂奔了整整 88 个小时","summary":"一万个 AI 智能体在云端并发狂奔了整整 88 个小时","body":"一万个 AI 智能体在云端并发狂奔了整整 88 个小时。\n烧掉 1300 亿个输出 token，传了 270 万条消息。\n就为了证明一件事：\n在人类写了近两百年的流体力学方程里，一滴平静的水，速度真的会飙到无限大。\n\n这就是 2026 年 9 月 8 日震惊整个数学界的纳维-斯托克斯方程爆破证明。\n克雷数学研究所在 2000 年悬赏了七个千禧年大奖难题，每个悬赏 100 万美元。\n研究水流和空气流动的纳维-斯托克斯方程，就是其中之一。\n过去整整 90 年，全世界最顶尖的数学家都被卡在这道题上。\n现在，OpenAI 突然抛出一篇长达 166 页的论文，宣布自己解出来了。\n\n水流到底怎么了？\n你在水龙头下面接水，水流看起来温顺又平滑。\n飞机在万米高空穿云而过，机翼周围的气流也是连续的。\n但这套从十九世纪就写出来的物理方程，有一个致命的幽灵：\n它在数学上算不算得下去？\n\n1822 年法国工程师纳维和 1845 年英国数学家斯托克斯，把牛顿第二定律搬到了流体上。\n他们的基本假设简单直接：\n水是连续的介质。\n只要给你当下的流速和压强，方程就能算出下一秒、下一小时甚至明天的状态。\n天气预报、潜艇下潜、火箭穿出大气层，全靠这套公式。\n\n但 1934 年，法国数学家让·勒雷发现了一个让人后背发凉的漏洞。\n勒雷证明了这套方程在全局上存在弱解。\n但如果水流开始剧烈旋转，形成涡旋，流速会不会在某一瞬间彻底失控？\n这就是数学上著名的有限时间奇点问题。\n翻译成大白话：\n在有限的时间内，水流的某一个点上，速度和旋转强度会不会直接飙到正无穷？\n\n如果流速变成无穷大，公式里的导数就全部失效。\n整套方程在数学上直接崩溃。\n过去近一个世纪，数学界分裂成了两派。\n一派人坚信水流是光滑自洽的，能量守恒会死死按住流速；\n另一派人则在拼命寻找反例，试图证明这套方程会在某种极端条件下自己把算力烧穿。\n\nOpenAI 证明的，恰恰是后一种：方程会自毁。\n论文里描述的机制极其精巧。\n那不是外部扔进去一颗炸弹，也不是施加了无限大的外力。\n系统总能量始终是有限的。\n自毁来自流体内部的螺旋内卷。\n一个细小的涡旋在三维空间里一边旋转，一边被周围的流体疯狂拉伸。\n就像花样滑冰选手收拢双臂，转速会越来越快一样。\n这个涡旋的中心区域在不可逆转地收缩。\n随着核心半径无限逼近于零，角动量守恒把旋转速度推向狂暴。\n在有限的时间节点到达的瞬间，中心点的流速和涡度，直接在数学上冲破了天花板，飙成了无穷大。\n\n听到这里，所有人都会冒出一个常识性的疑问：\n如果公式算出来的水流速度是无穷大，现实世界里的水怎么没把地球撕碎？\n现实里的水为什么永远温和？\n答案藏在物理世界最底层的一道缝隙里。\n\n纳维和斯托克斯在两百年前写下公式时，做了一个根本假设：水是连续介质。\n在宏观尺度上，这个假设好用得像真理一样。\n但现实里的水根本不是连续的。\n水是一颗颗直径大约 0.28 纳米的水分子拼起来的。\n当方程里的涡旋核心一路收缩，缩到纳米尺度以下时，水分子彼此之间的碰撞和微观黏性直接介入，把暴涨的动能转化成了热量。\n现实里的水分子，在最后一刻把奇点踩熄了。\n真实的水没有飙到无穷大。\n失控的是人类用来描述水的这套连续介质模型。\n这台数学机器在自己的极限边界上，露出了齿轮崩碎的裂缝。\n\n比起数学公式，更让人后背发凉的，是这篇 166 页论文的诞生方式。\n\n过去数学家攻克一道千禧难题，靠的是几十年的手推演算，靠草稿纸堆满地下室。\n而 OpenAI 这次动用的是一整座工业云。\n一万个自主智能体，在云端搭建起并发网络。\n它们被分成不同的解题小组，各自探索不同的代数路径，把有用的引理实时同步给相邻集群。\n88 个小时，整套系统吞吐了 1300 亿个 token，交互了 270 万条信息。\n数学证明变成了一场高吞吐量的大规模图搜索。\n\n写完 166 页还不算完。\n为了堵住学术界的嘴，OpenAI 甚至没让人类审稿人慢慢看。\n他们把这篇论文塞进了形式化定理证明器 Lean 4 里面。\n让机器给机器写代码，只花了 17 个小时，就把 166 页的推导全部转化成了形式化证明。\nLean 4 是一台六亲不认的数学编译器。\n它不懂流体的美感，它只按底层的逻辑规则逐行校验。\n17 个小时跑完，编译通过，逻辑闭环。\n\n然而就在论文公开的当天，一场巨大的地震在学术界炸开了。\n纽约大学数学系教授特里斯坦·巴克马斯特，和 Anthropic 的研究员勒温特·阿尔珀吉，直接站到了聚光灯下。\n这两位人类顶尖学者，在这个课题上已经默默攻关了一年多。\n更致命的细节在于：他们在推导复杂引理和编写验证代码时，用的是 OpenAI 的编程工具。\n学者在前线一砖一瓦地试探地形，后方的云平台却掌握着每一次调用的提示词、思路与代码片段。\n巴克马斯特在公开声明里说得很克制：\n我还没看到对方的证明，我不知道他们的模型用了什么数据，我不指控任何人。\n\n但硅谷的商业机器根本不等人。\n当你还在按部就班撰写论文、准备同行评审时，拥有无限算力的平台可以在一个周末调集一万个智能体，在 88 小时内强行把终点线推平。\nOpenAI 随后高调宣布：我们不要克雷数学研究所那 100 万美元的奖金。\n当然不需要。\n100 万美元对一家估值千亿的巨头来说不过是九牛一毛。\n用一万个智能体和 88 个小时换来第一个攻克千禧难题的桂冠，这才是不可估量的超级叙事。\n\n菲尔兹奖得主陶哲轩曾经给整个数学界敲过警钟。\n如果未来的数学被 AI 的暴力搜索全面接管，人类很可能会失去对数学真正的洞察力。\n机器交出了一份 166 页的答卷，编译器的指示灯显示全部通过。\n但在那场被一万个智能体穷举出来的微观风暴里，究竟有几行推导，人类还能真正理解它的灵魂？","topic":"一万个 AI 智能体在云端并发狂奔了整整 88 个小时","frame_type":["连续介质极限失真与高通量并发搜索套利（Conti","机制"],"citations":[],"channel_note":"","identity_notice":"","source_type":"generated","status":"published","generated_at":"2026-09-10 08:20:43","legal_anchor_count":0,"transcript_citation_count":0}