千个 Agent 30 小时完成费马大定理形式化证明

Anthropic 宣布其 Fable 5.2 模型动用约 1000 个 Agent 组成的团队，在 30 小时内完成费马大定理的形式化证明，即将已有数学证明转换为 Lean 可机器检查的版本；此前首次运行曾耗时 11 天。同周另一 AI 系统给出的 Yang-Mills 构造获得诺奖得主委员会签核。不过也有讨论指出，此类运行中积累的经验难以直接迁移到其他任务。

2026-11-11 ~ 2026-11-12 · 3 条相关

• Anthropic:Fable 5.2 用 1000 个 Agent 30 小时形式化费马大定理证明 — sven_ai · 2026-11-11
• 千名 AI Agent 30 小时再证费马大定理，但经验难迁移 — petrusenko_max · 2026-11-12
• AI 30 小时形式化费马大定理，Yang-Mills 构造获诺奖得主委员会签核 — rand_longevity · 2026-11-12