Anthropic：1000 个 Fable 5.2 智能体 30 小时完成费马大定理证明形式化，Opus 5.5 仅完成 26%

AI 导读

Anthropic 宣布 1000 个 Fable 5.2 智能体组成团队，在 30 小时内完成费马大定理证明的完全形式化，把证明翻译成计算机可逐步检查的语言。同一设置下，Opus 5.5 在 18 小时仅完成 26%，30 小时后几乎没有更多进展。图表显示 Fable 5.2 在 18 小时达到 0.86 后中断 12 小时再恢复，最终完成度 1.00，Opus 5.5 为 0.27。

推荐理由

同一任务设置下两个模型的完成度对比，为观察多智能体协作在形式化证明上的能力差异提供了具体参照。

正文 · AI 翻译

Claude· @claudeai · X·2026-11-10 02:58· 53 分钟前AI 评分61

AI 导读

Anthropic 官方宣布，1000 个 Fable 5.2 智能体组成团队在 30 小时内完成费马大定理证明的完全形式化，把证明翻译成计算机可逐步检查的语言。同一设置下，Opus 5.5 在 18 小时仅完成 26%，30 小时后几乎没有更多进展；图表显示 Fable 5.2 在 18 小时达到 0.86 后中断 12 小时再恢复，最终完成度 1.00，Opus 5.5 为 0.27。

正文 · 原文

由 1,000 个 Fable 5.2 智能体组成的团队在 30 小时内完成了费马大定理的完全形式化，将证明翻译成计算机可逐步检查的语言。

在相同设置下，Opus 5.5 在 18 小时内仅完成 26%，30 小时后几乎没有取得更多进展。

来源：Claude · x.com

查看事件全部

来源：RadarAI · aihot.news