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 扔进数据中心跑几个月,数学、物理、材料难题被逐一解决——下一个未必是室温超导,但这类问题「都跑不掉」。