OpenAI 用约 1 万个 agent 跑 88 小时证明纳维-斯托克斯方程

OpenAI 用约 1 万个 agent 持续运行 88 小时，为纳维-斯托克斯方程交出一份证明，并附上 Lean 形式化验证，算力成本达数百万美元。OpenAI 还在最新博客中透露，仅数天就训出超越 GPT-6 智能的下一代模型。Sam Altman 对"用 1 万个 agent 抢发室温超导"的玩笑回复：you know what let's try。