# OpenAI 宣布用智能体集群求解 Navier-Stokes 千禧年难题

- 来源：AYi (@AYi_AInotes)
- 发布时间：2026-09-09 10:00
- AIHOT 分数：82
- AIHOT 标记：同事件
- AIHOT 链接：https://aihot.news/items/cmttgndwe08p1rofp061i01x2
- 原文链接：https://x.com/AYi_AInotes/status/2097505511356649485

## AI 摘要

OpenAI 宣布给出 Navier-Stokes 千禧年难题的解，证明由一组智能体使用比 GPT-6 Astra 能力更强的下一代模型生成，该问题已悬置约 90 年。作者引述称约 10,000 个智能体在 88 小时内协同工作，产出 1300 亿输出 Token，GPT-6 Astra 花了 17 小时跑 Lean 形式化代码核验，等效算力成本约 1500 万美元。

## 正文

OpenAI 这条刷屏公告写得极度克制，但背后藏着一记砸向整个人类智力史的重锤：
困扰了物理与数学界整整 90 年、悬赏 100 万美元的千禧年难题，被 10,000 个 AI Agent 在 88 小时内暴力干穿了。

大家别只盯着“千禧年问题”这几个字看热闹，看一眼他们公布的技术底牌，直接让人后背发凉：
约 10,000 个智能体协同调度、270 万条上下文密集博弈、1300 亿输出 Token 疯狂倾泻，
最后逼出纳维-斯托克斯方程在有限时间内的奇点证明；
连如今顶级的 GPT-6 Astra，在这场战役里都只配充当打下手的质检员，花了 17 个小时跑 Lean 形式化代码核验。

这意味着什么？
以前所有嘲讽 AI 不懂高阶逻辑、只能靠概率猜字的人，遮羞布全被扯下来了：
机器不再只是给出似是而非的推论，它直接把无懈可击的机器验证证明甩在所有人脸上。

更恐怖的是科学探索维度的彻底降维：
等效 1500 万美元的算力成本，去砸一个奖金只有 100 万美元的古老命题；
科学发现从此告别了阿基米德泡澡、牛顿看苹果的个体灵光独舞，
被 OpenAI 活生生做成了一座靠海量算力与 Agent 军团进行地毯式轰炸的现代重工业。

以前我们以为数学和理论物理是人类智力最后的自留地，
现在才看清楚，那些我们穷尽一生在黑暗里摸索的直觉高山，
在足够高维度的分布式机器智能面前，不过是一串可以用 88 小时搜索穷尽的解空间。

真正让人敬畏的不是这道题终于有了答案，
而是从今天起，人类不得不承认：最深邃的真理，我们可能连看懂它证明过程的脑容量，都快不够了。

### 引用推文

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