Anthropic：Research（发表成果 · 网页）·· 2026-09-04精选AI 评分80
Claude 用 11 天完成费马大定理的首个完整机器验证证明
Formalizing Fermat's Last Theorem
AI 导读
Anthropic 发布首个完整机器验证的费马大定理证明，Claude 在 11 天内基本自主完成，写出 1300 万行 Lean 代码并证明 29,500 个中间定理。
推荐理由
原文给出了耗时、代码量、平台与验证方式等细节，读者可以了解多智能体自动形式化复杂数学证明的实现路径。
整理与数据来源：AIHOT
来源：Anthropic：Research（发表成果 · 网页） · anthropic.com