OpenAI 用万个 Agent 攻克 Navier-Stokes 奇点构造？
原标题：OpenAI 攻克千禧难题？深度拆解 1 万个 Agent 如何造出流体奇点
AI 摘要
OpenAI 公布针对 Navier-Stokes 千禧年问题的有限时间奇点构造：一个仍在训练的内部模型配合约 1 万个 Agent 搜索约 88 小时，随后用 Lean 完成形式化，声称在光滑外力和有限动能条件下可使三维流体演化到局部速度无界。文章指出人类数学家（如 Tristan Buckmaster）贡献了核心破局思路，AI 主要负责高维非凸约束的并行搜索与验证，并引发关于抢跑、成果归属及该结果对 CFD 实际影响的争论。
正文节选
9 月 8 日，OpenAI 公布了一套针对 Navier–Stokes 千禧年问题的有限时间奇点构造。一个仍在训练的内部模型，配合约 1 万个 Agent 持续搜索约 88 小时，随后又用 Lean 完成形式化。按照 OpenAI 给出的结果，这套构造能够让三维流体在光滑外力和有限动能条件下，演化到局部速度无界。消息出来后很快引发争论。航空航天工程教授 Chris Combs 提醒，这并不等于得到了一套可以直接计算任意流体运动的通用解法，对现有 CFD 工作也不会立刻产生明显变化；数学侧讨论的则是三维光滑解能否一直维持正则性，有限时间 blow-up 本身就击中了这个命题。与此同时，纽约大学数学家 Tristan Buckmaster 与 Anthropic 研究员 Levent Alpöge 的相近研究也被卷入讨论，让这件事又多了一层研究路线和成果来源的问题。抛开外围争论，回到这件事的技术层面，或许可以拆解成三个方向，OpenAI 是如何先找到一个在黏性存在时仍能持续收缩的奇点结构，再把这个结构留下的发散残差重新吸收进流体自身的非线性，最后还要在大量互相牵制的条件之间找到一套能够整