# OpenAI 称其 AI 智能体求解 Navier-Stokes 千禧年大奖难题

- 来源：Chubby♨️ (@kimmonismus)
- 发布时间：2026-09-09 01:28
- AIHOT 分数：83
- AIHOT 标记：同事件
- AIHOT 链接：https://aihot.news/items/cmtsyggso01r6ro5wpifhg6nc
- 原文链接：https://x.com/kimmonismus/status/2097376535925698763

## AI 摘要

OpenAI 官方宣布分享 Navier-Stokes 千禧年大奖难题的一个解答，该问题约 90 年未解。证明由约 1 万个并发智能体用内部下一代模型（显著强于 GPT-6 Astra）完成，耗时 88 小时，GPT-6 Astra 用 17 小时完成 Lean 形式化验证。

## 正文

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

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

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

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

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

欢迎来到奇点时刻！

### 引用推文

> OpenAI：我们正在分享纳维-斯托克斯千禧年大奖难题的一个解法，这是数学前沿最深刻的问题之一。 该证明由一组智能体完成，使用了 OpenAI 的下一代模型，其能力显著超越 GPT-6 Astra。 该问题关乎由纳维-斯托克斯方程描述的光滑三维流体运动是否会失效。它已悬而未决约 90 年。