标签 > 刚刚，Claude Fable 5.2炸场！30小时完成费马大定理形式化

Anthropic 新发布的 Claude Fable 5 2 最亮眼的成果就是调用 1000 个 Agent 协同，只用 30 小时完成费马大定理的 Lean 形式化