数学难题拿下后，下一个是室温超导？
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 扔进数据中心，一跑几个月，然后一个个数学、物理、材料的难题就纷纷都解决掉了？
下一个被拿来试的倒未必是室温超导，但那些人类卡了几十年、屡败屡战、屡战屡败的，且尤其验证标准又足够清楚的问题，能被机器验证的，或许，都跑不掉？