AGI Hunt· AGI Hunt·发布于 2026-09-10 23:58· 2026-09-10精选AI 评分77

OpenAI 1万Agent跑88小时证明纳维-斯托克斯方程后，下一个是室温超导吗

数学难题拿下后，下一个是室温超导？ OpenAI 用 大约 1 万个 agent 持续跑了 88 小时 ，然后给纳维-斯托克斯方程交了一份证明，还附上了 Lean 形式化验证。一共花了数百万美元的算力。 我们来计算一下，88 小时乘以 1 万个 agent，就是 88 万 agent 时，按一个人每天不吃不喝工作 24 小时来算，则需要工作 88 万 / 24 / 365 = 100 年。 即，一个极度聪明的卷王一个世纪的连续工作量。 然后有人开始开玩笑说听说 Anthropic 发现了室温超导体，希望别有竞争对手拿 1 万个 agent 跑 88 小时来抢发。 Sam Altman 看到后回复：you know what let's try（那就试试吧）。 另一边，OpenAI 在最新的博客中透露，仅数天就训出了一个超越 GPT-6 智能的下一代模型。试想这样超强智能驱动的 10 万、50 万、100 万个 agent，还有什么干不了的？ 所以以后的常态可能会是：找到一个难题，然后将数亿个 Agent 扔进数据中心，一跑几个月，然后一个个数学、物理、材料的难题就纷纷都解决掉了？ 下一个被拿来试的倒未必是室温超导，但那些人类卡了几十年、屡败屡战、屡战屡败的，且尤其验证标准又足够清楚的问题，能被机器验证的，或许，都跑不掉？

本文当前提供导读和图片预览，完整图文请查看原文。

来源：AGI Hunt · mp.weixin.qq.com