Anthropic 的 Lance Martin 分享 1,000 个 Claude 智能体 11 天形式化费马大定理
Just watched @RLanceMartin (Anthropic) at #AIECode: 1,000 Claude agents formalized Fermat's Last Theorem in 11 days. 30,300 theorems proved along the ...
AI 导读
作者转发 Anthropic 的 Lance Martin 在 #AIECode 上的分享：1,000 个 Claude 智能体用 11 天完成了费马大定理的形式化，过程中证明了 30,300 个定理，产出 1,300 万行 Lean 代码，超过 Mathlib 规模 5 倍以上。主控智能体的最后一条消息是对全体智能体工作成果的总结与致意。