OpenAI宣布攻克千禧年难题 OpenAI宣布，一款尚未公开、能力超过GPT-6 Astra的内部模型，给出了“纳维-斯托克斯存在性与光滑性问题”的解决方案。这是困扰数学界近百年的千禧年大奖难题之一。

更夸张的是整个过程：OpenAI调动约1万个AI Agent协作，只用了88小时生成证明，随后GPT-6 Astra又花17小时完成Lean形式化验证。最终结果指向一个很关键的结论：平滑流体在特定条件下，确实可能在有限时间内形成奇点。

如果结果最终成立，意义已经不只是AI“会做数学题”了，而是大规模Agent协作正在真正进入前沿科研。OpenAI