# OpenAI 用上万智能体求解 Navier-Stokes 千禧年大奖难题

- 来源：Rohan Paul (@rohanpaul_ai)
- 发布时间：2026-09-09 02:18
- AIHOT 分数：81
- AIHOT 标记：同事件
- AIHOT 链接：https://aihot.news/items/cmtt0lmcq015ero9o7bg6m2cn
- 原文链接：https://x.com/rohanpaul_ai/status/2097389034230501620

## AI 摘要

OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解，证明由一组智能体使用一个显著强于 GPT-6 Astra 的下一代模型生成，该问题关于光滑三维流体运动是否会崩溃，已悬置约 90 年。

## 正文

重磅消息：OpenAI 的 10，000 个 AI 智能体，由一个能力远超 GPT-6 Astra 的模型驱动，解决了一道困扰数学界约 90 年未解的数学难题。

看来，在这个新世界里，缩放定律可能在于智能体数量，而非模型规模：足够多的强大智能体所能探索的科学思路，远超任何人类团队所能企及。

当数以万计的强大智能体能够探索、批判并整合各种思路时，许多今天"太难"的问题，可能大多会变成算力问题。

就这个问题而言，90 年来，数学家们一直无法回答光滑的三维流体流动是否会突然中断。OpenAI 提出的证明方案认为，答案是会。

为了找到这个解法，OpenAI 将数千个智能体分成多个小组，分别探索不同的思路，然后在各组之间共享最佳发现。

这次搜索耗时 88 小时，在 270 万条消息中使用了约 1300 亿个输出 token。

随后，GPT-6 Astra 又花了 17 个小时检查证明，并将其转换为 Lean 语言--一种用于验证数学证明的系统。

该 Lean 版本已公开，数学家们可以自行查验这一论证。

### 引用推文

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