资讯
OpenAI 称用 1 万个 AI agent 破解纳维-斯托克斯方程（千禧年难题）
一句话：9 月 9 日《自然》报道，OpenAI 宣布用 1 万个 AI agent、耗时 88 小时攻克纳维-斯托克斯方程「解会失效」问题——七大「千禧年难题」之一，证明存在正常初始流体在有限时间内速度趋于无穷。
背景
- 纳维-斯托克斯方程是描述流体运动的核心模型，其解的存在性与光滑性是世纪数学难题；AI 以超大算力调度海量 agent 协作证明，标志机器辅助数学证明进入新阶段。
核心要点
- OpenAI 用 1 万个 AI agent、88 小时攻克 NS 方程。
- 证明特定初始流体在有限时间内速度趋于无穷。
- 属克莱数学所七大「千禧年难题」之一。
- 先以 1000 agent 简化求解，再扩至完整问题。
为什么重要
- AI 在数学「王后」领域取得标志性突破，验证 agent 集群攻坚复杂证明的可行性。
- 引发「追求答案 vs 科学进步」的讨论，25 位菲尔兹奖得主联名发声。
关键事实速记
- 宣布：2026-09-09（《自然》）
- 问题：Navier–Stokes（千禧年难题）
- 算力：1 万 agent / 88h
- 意义：AI 数学证明里程碑
📂 原文链接：查看原文 →
← 返回资讯列表
AI8899 · 内容仅供学习参考