IT Home·· 2026-09-05精选AI 评分76
Anthropic：Claude 仅用 11 天完成费马大定理首个完整计算机验证证明
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
Anthropic 宣布 Claude 基本自主运行 11 天后，完成了费马大定理首个端到端、经计算机检查的形式化证明，过程中生成约 1300 万行 Lean 代码并证明约 3.03 万个定理。
推荐理由
原文给出形式化证明的规模与多智能体分工，读者可据此了解自动形式化在数学验证上的可行边界。
来源：IT Home · ithome.com