传 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 小时解千禧年难题(3 条相关)→
「漫话AGI」频道最新
- Sheryl Crow 发 AI 末日声明,Miles Brundage 吐槽名人入场 — Miles_Brundage · 2026-09-10
- 幻觉基准发布后新模型普遍改善,测量本身重塑了对齐路径 — StrategicHarmony · 2026-09-10
- AI 末日论靠讽刺就能打败?南公园式吐槽引发的争论 — beffjezos · 2026-09-10
- Mollick 补充：消化 AI 十年变革，需要大量审慎政策与管理 — emollick · 2026-09-10
- Gary Marcus 追问：AI 灭绝人类之外，还有哪些具体场景论据？ — GaryMarcus · 2026-09-10
- Ethan Mollick：即使 AI 停止进步，现有模型也将搅动社会十年 — emollick · 2026-09-10