Anthropic 千个 Claude 智能体协作证明费马大定理
Anthropic 的 Lance Martin 在 AI Engineer Code Summit 演讲中展示，1000 个 Claude 智能体协作，用 11 天完成费马大定理的形式化证明，写下 1300 万行 Lean 代码。其「Thousand-Agent Harness」工程文档进一步揭示，新版 Fable 5.2 将原本耗时 11 天的任务压缩至 28.7 小时，展现了大规模多智能体协同的工程能力。
2026-11-13 ~ 2026-11-14 · 3 条相关
- 第 1 集:Anthropic 千 Agent 团队 30 小时形式化费马大定理(2026-11-11,6 条)
- 第 2 集:Anthropic 千个 Claude 智能体协作证明费马大定理(2026-11-13,3 条)
- 1000 个 Claude 智能体 11 天形式化费马大定理，写下 1300 万行 Lean — FinanceYF5 · 2026-11-13
- Anthropic：1000 个 Claude agent 28.7 小时证完费马大定理 — FinanceYF5 · 2026-11-13
- Anthropic 揭秘千 Agent 协同:Fable 5.2 用 28.7 小时完成 11 天工作量 — blaizedsouza · 2026-11-14