OpenAI 万级 Agent 跑 88 小时,交出纳维-斯托克斯方程证明
AGI Hunt · wechat · 2026-09-10
据 AGI Hunt 整理,OpenAI 用约 1 万个 Agent 持续运行 88 小时,给出纳维-斯托克斯方程的证明并附 Lean 形式化验证,耗费数百万美元算力。折算下来相当于一个极度聪明的卷王不吃不喝连续工作约 100 年。有人开玩笑说听说 Anthropic 发现了室温超导体、担心竞争对手用同样方式抢发,Sam Altman 回复「you know what let's try」。OpenAI 还在博客中透露,仅数天就训出了一个超越 GPT-6 智能的下一代模型。
作者的推演是:未来常态可能是找到一个人类卡了几十年、但验证标准足够清晰、可被机器验证的难题,把数亿 Agent 扔进数据中心跑几个月,数学、物理、材料难题被逐一解决——下一个未必是室温超导,但这类问题「都跑不掉」。
所属事件:OpenAI 万个 Agent 88 小时宣称破解 Navier-Stokes 难题(13 条相关)→
「漫话AGI」频道最新
- 实验猴荒：中国 3-5 万美元一只，繁育周期 4 年成药物临床前瓶颈 — zebird0 · 2026-10-27
- CJR 批评记者滥用「rogue」：别把 AI 写得像有了人性 — ShakeelHashim · 2026-10-27
- AI 致 PhD 申请邮件暴涨约 4 倍，不用 AI 写信反而更易突围 — AI4Code · 2026-10-27
- Weil 律所崩塌复盘：击垮 BigLaw 的不是商业模式，是信心 — jkubicki · 2026-10-27
- Transformer 论文八位作者全部离职，Google 白送竞争对手万亿价值 — signulll · 2026-10-27
- Anthropic S-1 写明两大 AI 愿景：治愈疾病与覆盖 46 亿缺医人口 — petergyang · 2026-10-27