OpenAI 表示，它借助 AI 解决了一道千禧年难题。2026 年 9 月 8 日，公司公布了一项关于纳维–斯托克斯方程的证明。这组方程用于描述流体如何运动。公司声称，它构造出一种起初光滑、随后出现奇点的流动：速度在有限时间内无界增长。
如果证明得到确认，这将是对一个数十年来悬而未决的问题的重大突破。与此同时，公告也引发了与数学家 Tristan Buckmaster、Levent Alpöge 之间有关优先权、署名和研究数据的争议。不过，即使把争议放在一边，数学上仍有理由不把这件事视为彻底结束。
这个构造使用了外力。证明流体在这种干预下可能失去正则性，本身并不能判定它在没有外力时是否也会如此。
这一细节很重要，因为奖题的正式表述允许采用这条路径。我们可能已经有了千禧年难题的解答，却仍未回答关于方程的一个最自然的问题。
OpenAI 的公告链接了论文和 Lean 形式化证明。Lean 是一种证明助手。本文讨论的是所宣称结果的适用范围，并不把公告或形式化证明的存在当作独立数学审查的替代品。
流体失去正则性意味着什么
管道里的水、飞机周围的空气，都是利用纳维–斯托克斯方程研究的流动实例。我们使用这些方程已超过一个世纪。它们的实用性并不要求我们预先了解其在一切可能情形下的全部行为。
克雷研究所的问题针对一个具体版本：三维、不可压缩、黏度为正的流体。不可压缩是指流体的每一小部分在运动时保持体积不变。它可以变形和旋转，却不能被压缩。
我们从光滑的速度场出发，没有跳跃，也没有初始奇点。已知至少在一段时间内可以追踪其解。问题是能否无限延续，还是演化本身可能破坏这种光滑性。这称为 blow-up，即有限时间爆破。
我们不是在寻找一个可以算出所有水流运动的公式，而是在问：光滑的数学描述会不会在有限时间内不再存在？
方程中同时存在两种趋势。黏性会平滑速度差异并耗散能量。非线性动力学则允许运动重组自身结构；在三维中，涡旋拉伸可能加强旋转，并产生更小的尺度。
直观上，这是平滑与集中的竞争。说黏性具有平滑作用，并不能证明它永远占上风。控制总能量，也不足以控制一个越来越小的区域内发生的事情。全局控制与局部行为之间的差距，正是陶哲轩解释这道难题为何困难时的核心。
克雷的题目存在一项重要的不对称
Charles Fefferman 的正式表述给出四种选项，由两类结果与两种空间设定组合而成：
| 结果 | 全空间 | 周期空间 | 外力 |
|---|---|---|---|
| 对所有时间都存在光滑解 | A | B | 设为零 |
| 不满足所要求的全局存在性 | C | D | 在严格条件下允许存在 |
周期空间可以想象成一个盒子，其中的图样在各个方向重复。这样便能在不引入壁面的情况下研究动力学。
关键在最后一列。走正则性这条路，必须证明所有允许的初始数据在没有外力时都永远产生光滑解。走爆破这条路，则允许构造一个有外力的反例。
因此，这两条路径并不是一个命题及其精确否定。“所有无外力流动都保持光滑”的否定，应当是找到一个不再保持光滑的无外力流动。允许干预，扩大了可用于寻找反例的流动类别。
一个有外力的证明，本身不会否定无外力情形的普遍正则性。两者之间还需要另一个论证。这正是可能令人意犹未尽的地方：奖题的表述与我们对流体的追问，范围并不相同。
为什么引入外力并不会让结果变得平凡
一个合理的疑问是：既然可以干预流体，难道不是人为制造了爆破吗？
我们确实是在选择干预方式，但不能把奇点偷偷塞进外力。不能先施加一个会变得无限大的力，再指出速度也发生了爆破。
“光滑”也不足以概括克雷的全部条件。在全空间中，外力及其导数必须在空间和时间上快速衰减；在周期情形中，则要求空间周期性和时间衰减条件。即使跨过假定的爆破时刻，外力也必须符合这些假设。
OpenAI 论文的主定理提出了一项具体主张：对于任意正黏度，都能构造出从静止出发、动能保持有界、但速度变得无界的演化。外力光滑，而且在时空中具有紧支撑，也就是仅在有限区域和有限时段内起作用。
论文引言描述了一个不断集中并加速的涡旋。难点在于平衡方程的各项，使得其中一些项虽然无界增长，组合后仍留下正则的外力。构造中的振荡修正旨在抵消本来会出现在该外力中的奇异部分。
这只是对论文所提出论证的描述，并非对其步骤的验证。但它解释了为什么允许外力并不会把难题变成简单练习：困难恰恰在于让力保持正则，而运动失去正则性。
写下 f = 0 之后，问题仍然存在
理解了干预的作用，下一步似乎很直接：去掉它。
在方程里，只需要写下 f = 0。但在证明里，这可能改变一切。外力是构造的一部分，删掉它并不会自动保留原先得到的行为。
于是问题变为：初始运动按照纳维–斯托克斯方程演化，在没有任何外力的情况下，能否仅凭自身动力学产生奇点？一个需要外力的反例，并不能作出判定。
我们也必须认真对待另一种可能：无外力情形或许存在某种保护机制，而允许干预后，这种保护不再成立。单独来看，有外力爆破的结果并不能排除这一情形。
这绝不会使突破显得微不足道。证明某类演化允许奇点，会改变我们对方程的认识。但下一步发现将来自理解机制的哪些部分依赖外力，以及能否摆脱这种依赖，而不是反复宣布问题已经解决。
可能存在奇点，并不等于描述了所有流体
证明一个例子存在，并不能说明它出现得有多频繁。一种构造可能依赖极其精确的条件。小扰动也许会破坏其机制；也许很大一类运动都能保留它。仅凭存在性，无法在这两种可能之间作出选择。
这也不意味着真实的水会达到无限速度。纳维–斯托克斯是连续介质模型。要把数学构造转化为物理判断，需要检查其假设在所涉及的尺度上是否依然适用。
还有一个有用的区分：失去光滑性不等于失去所有数学描述。弱解通过积分关系表达方程，允许较低的正则性。在适当条件下，Leray 开创的理论可以提供全局弱解。
光滑解发生爆破，并不会抹去这套理论。它会带来关于如何继续、哪些能量条件保留，以及在所选解的类别中能够建立何种唯一性的问题。不同的弱解概念并不提供相同的保证。
与数学家之间究竟在争论什么
这则新闻背后还有一段不应被抹去的人类研究经历。Buckmaster 在公开声明中表示，虽然 Alpöge 在 Anthropic 工作，但两人的合作属于个人合作；他把出发点的思路归功于 Diego Córdoba 和 Luis Martínez-Zoroa。
他指称 Sébastien Bubeck 要求在一个署名方案中排除 Alpöge，并讲述了有关公开争议会对其职业前途造成影响的言论。这些是 Buckmaster 对私人谈话的陈述。他还提出，自己的 Codex 会话是否可能进入训练过程，同时明确表示不知道其数据是否被使用。
OpenAI 承认，有关这些进展的传闻推动了公司的研究行动。它否认在公开发表前接触过相关工作，但不排除来自产品使用过程的去标识化数据帮助改进了模型。公司称双方证明不同，并承认两位研究者在有外力 Euler 问题上的优先权。这是公司的立场。
这些回应仍留下需要澄清的问题。对训练的疑问并不证明成果被挪用；技术过程的说明，也不能独自解决署名方面的指控。研究时间线、思路来源和向作者提出的条件，各自需要相应证据。
这种张力不只存在于本案：研究者可能使用某家公司的工具，而该公司也在同一领域竞争研究成果。正确的证明不会自动解决这种信任问题。同样，即使不当行为得到证实，它本身也不会推翻数学论证。
解题也应当帮助我们理解
突破并非凭空出现。在9 月 7 日的解释中，陶哲轩把 Alpöge 和 Buckmaster 的工作放在 Córdoba 和 Martínez-Zoroa 此前开辟的研究路径中。他讨论的结果属于其他流体方程：不可压缩多孔介质、Boussinesq 和 Euler。Euler 方程不包含黏性，因此那里的进展不会自动解决纳维–斯托克斯。
理解哪些思路可以在这些方程之间迁移，是证明的科学价值之一。弄清外力扮演的角色、哪些奇点是稳定的，以及失去光滑性之后会发生什么，同样属于这种价值。
结果获得认可也有自己的程序。克雷的规则要求，方案必须在符合标准的出版渠道发表、发表后至少经过两年，并获得数学界的普遍接受，研究所才会考虑它。这一程序与今天检查论证是否正确，是两件不同的事。
如果证明得到确认，我们将学到一个深刻事实：构造所允许的条件，并不足以保护流体免于奇点。下一个问题将是，什么造成了这种爆破，以及它有多大程度依赖外部干预。
解出问题，确立的是一个结论。理解证明，应当让我们解释现象为何发生，以及结论适用到哪里。 从这里开始，还有任何“纳维–斯托克斯已解决”的标题都无法宣布结束的工作。
