OpenAI 刚刚公布了一项相当夸张的研究结果：
一个由新一代内部模型驱动的 Multi-Agent 系统，给出了「纳维–斯托克斯存在性与光滑性问题」的完整解法。
这是数学界著名的七大「千禧年难题」之一，困扰数学家近 90 年。

更离谱的是整个过程：
约 10,000 个 Agent 并行协作， 大约 88 小时 找到最终解法， 随后又用 GPT-6 Astra 花 17 小时完成 Lean 形式化验证。
整个 Navier–Stokes 求解过程中，Agent 一共发送了约 270 万条消息，消耗约 1300 亿 output tokens。

而真正值得注意的是：负责核心推理的甚至不是 GPT-6 Astra。
OpenAI 表示，他们使用的是一个仍在训练中的内部模型，其能力已经显著超过 GPT-6 Astra。

这次证明的结论是：即使流体最初非常平滑，纳维–斯托克斯方程描述的三维流体运动，也可能在有限时间内形成「奇点」，速度趋向无穷。

OpenAI 目前没有打算申领千禧年难题的 100 万美元奖金，而是把这次结果看作 AI 能力进展的一次快照。
如果这项结果最终得到数学界充分确认，它的意义可能远远超过「AI 又刷了一个 Benchmark」。
AI 开始真正进入人类几十年都没有解决的科研前沿了。

#OpenAI #人工智能 #AI #数学 #NavierStokes #MultiAgent #AIAgent #GPT6 #科技前沿