一千个 AI，30 小时证完了费马大定理

Anthropic 在 IPO 前夜放出 Claude Fable 5.2 和 Mythos 5.2。一千个 Fable agent 拿到一句几乎没信息的提示，30 小时把费马大定理在 Lean 里形式化证完。上一次同样的事，靠专门框架加研究员陪跑，花了 11 天。 *一千个 Opus 5.5 跑同一道题：18 小时 26%，30 小时卡死在 27%；Fable 在 18 小时已经 86%，30 小时收工。这不是 0.3 个版本号的差距，是两个物种。 *榜单上 Fable 拿 65.6 排第一，机器人控制 27.6 跳到 64.9，图表理解 44.8 到 73.4；但 OSWorld 只涨 2.1 分，自动化榜单甚至输给 Gemini 4 Carbon。增益全在长链条重工具的活上，单轮对话基本没动。 *这一周还有价格战、IPO 定价来回拉扯、OpenAI 突然封号、以及一台 200 美元的复古掌机。如果你手上有一千个 Fable agent，你会先让它干什么？ *#人工智能产业链联盟 #Claude #Anthropic #大模型 #AIagent #费马大定理