天哪，这是官方的！OpenAI 表示其 AI 已经解决了纳维-斯托克斯千禧年大奖难题，这是一个悬而未决约 90 年的数学问题。

一个内部模型（被描述为能力远超 GPT-6 Astra）驱动了约 10，000 个并发智能体组成的小组（见下图！它比 Astra 强大得多，太疯狂了）

这些智能体仅用了 88 小时就得出了解决方案。Lean 形式化与验证又花了 17 小时，由 GPT-6 Astra 完成。

报道的结果是：在光滑外力作用下，光滑的三维流体运动可以在有限时间内产生奇点，而总能量保持有限。

OpenAI 正在公开该证明及其 Lean 形式化版本。 仅纳维-斯托克斯这一项工作就投入了 1300 亿个输出 token。该内部模型仍在训练中。

欢迎来到奇点时刻！