2026年9月8日，美国当地时间晚间，OpenAI扔出了一颗炸弹。

他们宣布：用约一万个AI智能体，在88小时内，解出了纳维-斯托克斯方程的存在性与光滑性问题。这是克雷数学研究所悬赏百万美元、挂了九十年的七大千禧难题之一。

论文166页。Lean形式化验证同步公开。署名作者只有两个字：OpenAI。

消息一出，全网浏览量破1200万，比GPT-6发布那天还高。

但几乎同一时间，纽约大学数学教授特里斯坦·巴克马斯特发了一份措辞激烈的声明。他说：这不是一个简单的突破故事。这是一个关于草稿纸、信任和算力霸权的故事。

88小时里发生了什么

OpenAI用了一个还没公开的内部模型——据称比最新发布的GPT-6 Astra强得多——驱动大约一万个AI智能体同时干活。

这些智能体分头行动：一部分试图证明流体方程的解永远光滑，另一部分试图构造反例——找到一种条件，让解在有限时间内"崩溃"。

中途，约一百个智能体花了五十个小时，先拿下了另一个相关问题——无外力欧拉方程的有限时间爆破。这个意外收获让团队调转方向，把欧拉方程的解当作"提示"喂给后续智能体，集中火力猛攻纳维-斯托克斯。

最终突破发生在9月5日。从第一批智能体启动算起，恰好88小时。

整个过程中，智能体们发送了270万条消息，消耗约1300亿个输出token。随后GPT-6 Astra接手做形式化验证，又花了17个小时，用Lean语言逐行检查每一步逻辑。

在这份166页论文描述的场景里，流体起初静止不动，然后受到一个处处光滑、在空间和时间上都有限的外力。系统逐渐形成一股涡旋，流体不断向中心旋转，涡旋核心持续收缩并被轴向拉长。OpenAI把它形容为"一根越来越细长的意大利面"。

最终，这根"意大利面"细到某个临界点，方程的解崩了——局部流速在有限时间内趋于无穷大。这证明了：在特定条件下，纳维-斯托克斯方程的解不会永远光滑。

OpenAI还宣布：放弃申领那100万美元奖金。理由是这项成果的核心价值在于向世人展示——通用人工智能正在成为推动科学探索的引擎。

听起来很完美。一个伟大的科技突破故事。

但巴克马斯特不同意。

草稿纸的背面

巴克马斯特是纽约大学数学系教授，研究流体力学。他和在Anthropic工作的数学家莱文特·阿尔珀格合作，走的是一条冷门路线——建立在两位西班牙数学家多年研究计划之上，冷门到巴克马斯特自己说"我认识的人里几乎没别人在走"。

他们的工具是什么？大语言模型。Claude、Codex、GPT-5.6 Sol轮着用，Astra负责写文档和审计。花了大半年，进展缓慢。

然后8月15日，突破来了。Boussinesq方程和欧拉方程的光滑强迫爆破，一起拿下。巴克马斯特说，第一版LLM生成的证明，是他这辈子读过最恐怖的东西。

8月22日，Lean形式化验证通过。三项成果，一个月内成型，机器逐行验过。

问题出在这之后。

巴克马斯特说，OpenAI方面得知了他的进展。然后他接到了一通电话。电话那头是OpenAI研究员，提出两套方案：第一，巴克马斯特先发欧拉方程论文，OpenAI次日紧接着发布纳维-斯托克斯突破；第二，由巴克马斯特单独执笔写纳维-斯托克斯结果的论文，但必须注明——这个问题是由OpenAI内部模型解决的。

更让他愤怒的是，OpenAI方面明确要求：把在Anthropic工作的阿尔珀格排除在后续论文作者名单之外。

巴克马斯特不同意。

然后，OpenAI自己发了。

当你的草稿纸有了记忆

这件事最让人脊背发凉的地方，不是谁先谁后的口水仗。

是这件事：巴克马斯特和阿尔珀格把未发表的推导草稿，放在AI工具的对话窗口里修改。他们用每月200美元的订阅费，换来一个推理草稿纸。他们默认输入进去的公式和推论只是私人推演——就像你在一张纸上写写画画，擦掉重来，没人会偷看。

但直到两方成果在极短时间内"撞车"，大家才意识到：这面对话窗并不是单向封闭的黑板。

黑板后面，坐着一家握有全部交互数据和海量算力的商业巨头。

你写在对话框里的每一个字、每一步推导、每一条思路，对平台来说都是透明的。而当这家平台自己也在做同类研究，且拥有比任何单个数学家都多一万倍的算力时——撞车，还叫意外吗？

巴克马斯特花了大半年走到的地方，OpenAI用88小时跑了同样一段路。区别在于：OpenAI可能看到了巴克马斯特走过的脚印。

陶哲轩的直升机

在这场风波里，数学家陶哲轩发了一组长帖。他打了一个比方：

数学研究像一次徒步旅行。研究者为了寻找远处的瀑布，需要不断探路、迷路、画地图，途中还可能发现新的景观。而AI则像一架直升机，可以直接把人送到瀑布旁边，再把人接回来。

这样当然更快。但你可能因此不知道如何抵达那里，更不会注意到沿途那些意外的发现。而后面这两点，反而才更可能是数学研究本身的意义。

目的地只是这段旅程价值的一部分。一路发现的那些工具、概念、技巧、失败原因，往往才成为下一代数学的基础。

陶哲轩在9月3日就预见了这一天。他在帖子里设想了一种情形：一个拥有巨大算力的AI系统在内部反复尝试，最终解决纳维-斯托克斯问题，并给出机器可核验的证明。

六天后，OpenAI真的做了这件事。

对普通人意味着什么

你可能会问：一个数学方程被证明，跟我有什么关系？

有关系。但不是你以为的那种。

纳维-斯托克斯方程描述的是流体运动——台风怎么旋转、河水怎么流、飞机机翼周围的空气怎么扰动、你血管里的血液怎么流动。它被称为"流体力学的圣经"。

但真正跟你有关系的，是这件事背后的逻辑：

第一，AI不再只是帮你写文案、做表格的工具。它已经能独立攻克人类顶尖大脑九十年没解决的问题。从"工具"到"研究员"，这一步跨过去了。

第二，当你把工作内容、创意想法、商业计划放在AI对话框里时，你以为你在用一张私密的草稿纸。但实际上，对面平台看得到你写的每一个字。如果这家平台自己也在做同样的事——它有你的思路、你的方向、你的中间结果，再加上一万倍的算力。你跑半年，它跑88小时。

第三，这不是AI的问题，是规则的问题。当一个工具既是你的草稿纸，又是你的竞争对手时，这个结构本身就需要被重新审视。

所以，下次你在对话框里输入那些还没公开的东西时，想一秒钟：这张草稿纸，到底是谁的？

OpenAI说，他们放弃了100万美元奖金。但这场争论的价值，远不止100万。

它问了一个所有人迟早都要面对的问题：当你的AI助手比你还聪明，当它看过你所有的思考过程，当它背后站着一个万亿市值的商业帝国——你，还敢在草稿纸上写什么？