9 月 8 日，OpenAI 公布了一套针对 Navier–Stokes 千禧年问题的有限时间奇点构造。一个仍在训练的内部模型，配合约 1 万个 Agent 持续搜索约 88 小时，随后又用 Lean 完成形式化。按照 OpenAI 给出的结果，这套构造能够让三维流体在光滑外力和有限动能条件下，演化到局部速度无界。消息出来后很快引发争论。航空航天工程教授 Chris Combs 提醒，这并不等于得到了一套可以直接计算任意流体运动的通用解法，对现有 CFD 工作也不会立刻产生明显变化；数学侧讨论的则是三维光滑解能否一直维持正则性，有限时间 blow-up 本身就击中了这个命题。与此同时，纽约大学数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 的相近研究也被卷入讨论，让这件事又多了一层研究路线和成果来源的问题。抛开外围争论，回到这件事的技术层面，或许可以拆解成三个方向，OpenAI 是如何先找到一个在黏性存在时仍能持续收缩的奇点结构，再把这个结构留下的发散残差重新吸收进流体自身的非线性，最后还要在大量互相牵制的条件之间找到一套能够整体闭合的证明架构的？雷峰网(公众号：雷峰网)01
OpenAI
和人类数学家，各自到底做了什么？
在去试图看懂这份 100 页的证明之前，我们必须先厘清一个被 OpenAI 模糊掉的关键事实：AI 并没有凭空顿悟流体力学的终极奥秘，它只是暴力加速了人类数学家的灵感。这也是为何纽约大学著名数学家 Tristan Buckmaster 会在社交媒体上出离愤怒的原因。据推特多位学术大V及业内人士透露，OpenAI 极有可能是在某些渠道（如学术交流或未公开的预印本）提前获悉了 Buckmaster 团队的核心解题框架，随后动用了令人绝望的内部算力进行了抢跑（Scooping）。更有戏剧性的是传闻指出，OpenAI 提出可以让 Buckmaster 担任这篇历史性论文的“第一作者”，但附带了一个极度排他的霸王条款：必须将团队中在 Anthropic 工作的合作者（Levent Alpöge）踢出局。抛开大厂排挤死对头的公关戏码，如果我们用技术视角重新审视这场“抢跑”，就能清晰地看到 人类顶尖心智与 AI 算力霸权 在这场世纪证明中的分工：雷峰网▎人类数学家（以 Buckmaster 等人为代表）：负责“搭骨架”与“物理直觉”。
Navier-Stokes 的难点在于非线性放大和黏性耗散的冲突。人类数学家贡献了最核心的破局思路：他们构想出了“故意偏离临界尺度”、“高频振荡脉冲”以及“剥离局部速度与整体动能”等极其精妙的数学结构。这些需要跳跃性思维的几何与物理直觉，目前的 AI 依然无法实现从0到1（而这也是科学研究最重要的一步）的过程。▎OpenAI 的 1 万个 Agent：负责“填血肉”与“高维约束搜索”。
有了骨架，接下来就是苦力活。证明需要同时满足自相似尺度、局部剪切、应力锥等数十个互相牵制的高维非凸约束条件。人类数学家可能需要耗费数年时间去试错、微调参数，而 OpenAI 动用了约 1 万个内部 Agent，在短短 88 小时内，穷尽了所有可能的分支，从庞杂的假设空间中“搜”出了一套能够整体闭合的数学构造，实现了“抢跑”。▎Lean 与 Comparator：负责“防幻觉”的终极锁死。
算力给出的答案可能存在逻辑漏洞。OpenAI 最后用形式化工具 Lean 将这套庞大的证明死死钉在逻辑系统里，确保 Agent 在疯狂探索时没有悄悄篡改原始命题的条件。理清了这层分工，我们再来拆解 OpenAI 这份百页证明中的技术细节：Navier–Stokes 的麻烦，在于非线性放大和黏性耗散会同时随着尺度缩小而增强。涡量拉伸不断把流动压向更细的空间结构，黏性则恰好对这些高频结构作用更强。只要两边的强度关系稍有偏差，要么奇点被耗散抹平，要么能量、压力和外力一起失控。因此，OpenAI 首先做的不是寻找一个单纯旋转更快的流场，而是设计一套各向异性的自相似尺度。它从轴对称带旋流的涡核出发。接近奇点时，涡核在径向快速收缩，轴向也收缩，但速度略慢，核心因此逐渐变成一根越来越细长的旋转流体柱。径向流不断把流体送向旋转轴，角动量输运随之推动旋转加速；不可压缩条件又要求进入核心的流体沿轴向排出，于是径向压缩、角向加速和轴向拉伸形成一个能够持续运转的动力结构。真正关键的是，OpenAI 没有让三个方向按照同一种尺度变化，而是引入一个很小的指数偏置。这个偏置先解决了速度发散和有限动能之间的冲突。随着奇点接近，局部速度越来越高，但高速区域的空间体积缩小得更快，于是点态速度可以走向无界，整体动能却仍然受到控制。换句话说，奇点不是整个流场一起变得越来越暴烈，而是被不断压缩进更小的核心区域。更深一层，这个偏置还重新安排了黏性在不同方向上的作用。径向方向仍然维持输运与黏性扩散的主阶竞争，角向旋转的惯性作用却持续增强，轴向扩散则逐渐退到次一级。这样一来，黏性并没有被排除出构造，而是被限制在特定方向上承担稳定结构的作用，同时给旋转和拉伸留下增长空间。但到这里仍然只解决了“怎样制造奇点”这一件事。一个能 blow-up 的自相似涡核，并不意味着它已经是 Navier–Stokes 的合法解。内部结构和外部平滑流场连接以后，会不可避免地产生动量失衡。如果这部分误差随着奇点一起发散，那么奇点只是被外力硬推出来，整个构造依然不成立。于是问题自然进入下一层：不仅要制造奇点，还必须让奇点留下的误差具有可修正结构。OpenAI 把内部自相似涡核接到一个由黏性扩散控制的外部流场，两者之间留下一个环形过渡区。内部负责形成奇点，外部负责保持平滑，真正难处理的动量残差便集中在这个过渡区域。如果直接把这些残差定义成外力，外力本身很可能随着奇点时间接近而失控。于是证明需要完成一个更苛刻的转换：把原本应该由外力承担的误差，转化成流体内部细尺度运动自己产生的动量输运。这正是高频振荡脉冲出现的原因。这些脉冲的平均速度可以很小，因此不会明显改变背景流。但 Navier–Stokes 的非线性包含二次耦合，细尺度速度相互作用后仍能留下稳定的平均动量通量，也就是雷诺应力。这样一来，系统可以先计算背景流缺少什么方向的动量输运，再反过来设计振荡，让它们通过二次相互作用生成对应的有效应力。问题到了这里，已经不再是简单的“把误差压小”，而变成“能不能合成出所需方向的应力”。不同振荡模式能够制造的动量通量比例受到限制，几类波形组合以后，只能覆盖一个特定的应力锥。背景流留下的目标残差必须落在这个锥体内部，才能通过调节脉冲强度被表示出来。如果目标应力跑到锥体外面，增加振幅没有意义，因为缺失的不是强度，而是方向。这一步反过来要求重新修改背景流。OpenAI 使用小振幅、高频率的径向微扰去调整局部剪切。微扰本身很弱，所以原来的流场剖面和整体积分量变化有限；但高频会明显放大导数，因此局部剪切能够得到较大调整。剪切一变，振荡脉冲能够产生的应力方向也跟着变化，于是原本落在锥体外的目标残差，就有机会重新进入可实现区域。但这种高频调整又会带来新的问题：局部剖面虽然修好了，原先已经匹配好的径向矩条件可能被破坏。所以系统还需要加入低频修正，把这些整体约束重新补回来。这里形成了一种明确的多尺度分工：高频结构负责改局部导数和剪切方向，低频结构负责维护整体积分条件和外部匹配。脉冲本身的时间演化也经过专门设计。背景剪切会先把脉冲放大，使其获得足够强度完成动量输运；同一套剪切又会不断把波长拉短，使频率升高。频率一高，黏性耗散就迅速增强，于是脉冲完成任务后会自然被压下去。因此，黏性在这里承担了两种完全不同的角色：在奇点核心里，它是必须被重新安排的耗散机制；在高频修正里，它又变成清理脉冲尾部的工具。接近奇点时，这种修正会在越来越细的时空尺度上反复进行。上一层消掉主阶残差，下一层再处理新产生的次级误差，一层层把误差推向更高阶，直到剩余外力以及它的高阶导数仍能平滑延拓。也正因为如此，这份证明需要的不是一个单独漂亮的奇点，而是一种“可被持续修正的奇点”。背景涡核的几何、局部剪切、目标应力和高阶修正，从一开始就必须能够接进同一套结构里。到了这里，就能看出这个问题为什么对单线程推理极不友好。系统同时需要决定自相似尺度、轴对称剖面、轴附近的延拓方式、外部流场、局部剪切、应力锥、径向矩条件、振荡模式以及高阶修正。更麻烦的是，这些变量之间并不是局部独立的，一个地方的修改往往会在很后面才暴露代价。比如，一个剖面能够形成奇点，却可能让残余应力跑到应力锥外；调整剪切可以把应力方向拉回来，却又破坏径向矩；补回矩条件之后，外部流场的连接可能重新出现问题。某条路线前面几十步看起来完全成立，直到高阶修正阶段才发现无法闭合。所以这里面对的其实是一个高维、非凸的约束设计问题。多 Agent 系统的价值，在于可以同时维持大量不同的候选结构。有的 Agent 搜自相似剖面，有的尝试参数范围，有的检查应力方向，有的寻找局部引理，还有一些专门追踪某条路线为什么会失败。这样一来，失败不再只是浪费，它会变成新的约束信息，帮助后续搜索排除不合适的参数区间和构造方式。OpenAI 还把接近 100 个 Agent 放到相邻的 Euler 问题上。Euler 去掉了黏性，可以先单独暴露非线性奇点结构。这个分支出现突破后，中间几何和构造思路再被迁回 Navier–Stokes 路线，系统随后把更多计算资源集中到黏性、外力和残差闭合上。这说明万级 Agent 做的事情，并不是简单扩大答案数量，而是在扩大“可同时存在的数学假设空间”。单个模型负责把某一条路线推深，多 Agent 系统负责让许多不同路线并行存在，再通过汇总和算力重分配，把局部有效结构重新组合起来。Navier–Stokes 路线最终产生约 270 万条 Agent 消息和 1300 亿输出 token，其中大量内容不会进入最终证明，但承担了参数试验、失败构造和中间引理搜索。系统搜索的对象，也因此从“下一步证明怎么写”，扩展成了“什么样的数学结构能让这些约束同时成立”。当搜索规模膨胀到百万级推理轨迹后，验证成本会迅速上升。这种多尺度构造涉及大量函数空间、边界行为、正则性条件和高阶修正，自然语言里只要漏掉一个前提，或者某个量词在长链推导中发生变化，最终结论就可能已经不是原来的命题。Lean 的作用，就是把这些隐藏条件全部显式拉进形式系统。到了形式化阶段，每个变量的类型、每个引理的前提、每一步依赖关系都必须闭合。前面的 Agent 可以大胆探索，但最后留下来的证明必须能够被机器逐步重新检查。不过，仅仅证明链闭合还不够。AI 数学还存在一种更隐蔽的风险：系统可能在推导过程中悄悄弱化原始条件，例如换了函数空间、降低了外力的光滑性要求，或者修改了全局解的定义。这样即使 Lean 接受证明，证明的也可能已经不是原题。所以 OpenAI 又加入 Comparator，用独立形式化的 Navier–Stokes 命题检查目标表述是否仍然对应原始问题。Lean 检查证明链，Comparator 约束命题边界，这两层合在一起，才构成大规模 AI 数学搜索需要的验证出口。回到这次 Navier–Stokes 工作的技术分量，或许不在某一个孤立技巧，而在于几层机制必须连续咬合。自相似尺度先把局部速度发散和有限动能拆开，各向异性结构再重新安排黏性、旋转和拉伸之间的强度关系；由此产生的残差，再通过高频振荡合成雷诺应力，并借助应力锥、剪切调节和多尺度修正逐层清除。万级 Agent 则在这些彼此牵制的条件之间搜索可行结构，Lean 和 Comparator 最后负责把庞大的搜索结果收回到严格证明和原始命题上。这样看，OpenAI 这次展示的已经不只是一个更会做数学的模型，而是一套把开放数学问题拆成构造、搜索、修正和验证环节的研究系统。参考链接：https://openai.com/index/navier-stokes-solution
可独家畅览：
专家演讲PPT
大会报告全文
热门论文解读
学术新星访谈
扫描上方二维码
或点击「阅读原文」关注专区。
雷峰网原创文章，未经授权禁止转载。详情见转载须知。
