传 OpenAI 用 1 万个 agent 88 小时攻克纳维-斯托克斯难题
r0ck3t23 · x · 2026-09-10
OpenAI 宣称其内部系统（强于市售的 GPT-6 Astra）用 1 万个 agent 在 88 小时内封闭了有 90 年历史的千禧年难题——纳维-斯托克斯方程（流体运动方程，涉及机翼气流、血液流动、天气、海洋等）；随后 Astra 花了 17 小时把结果转成 Lean 形式化证明，交由机器逐行验证。
作者的核心论点：
- 市面上最强的模型，实际只是「幕后系统」的校对员——你能买到的比内部存在的落后一代
- Lean 不认人情，只认每一步是否成立，这让证明可信度绕开了关于奖金和优先权的争论
- 这不是「更好的点子」，而是把 1 万个 agent 同时对准一个人类悬置数代人的问题
注：此说法未经独立证实，克雷研究所尚未认可。
所属事件:OpenAI 万个 Agent 88 小时宣称破解 Navier-Stokes 难题(13 条相关)→
「漫话AGI」频道最新
- 高盛：美企 AI 采纳率与就业增长呈显著负相关 — ben_j_todd · 2026-10-27
- a16z：改变世界的技术都先「混乱入场」，Agent 正走同样的路 — a16z · 2026-10-27
- 断网也得会看病：NEJM AI 警告医学教育不能丢掉脱离 AI 的基本功 — BraydonDymm · 2026-10-27
- 程序员警告:模型「消融版」将冲击软件供应链,千级依赖无人设防 — nitarshan · 2026-10-27
- 程序员观点：每次 SOTA 模型发布，都该主动「删掉」部分旧认知 — zack_overflow · 2026-10-27
- Replit 预言：2030 年前每家财富 500 强都将是「自驾公司」 — amasad · 2026-10-27