OpenAI 攻克千禧难题？深度拆解 1 万个 Agent 如何造出流体奇点

万级并行推理背后，是构造、修正与验证的完整闭环。 作者丨 郑佳美 编辑丨岑 峰 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（而这