Anthropic (X)· AnthropicAI·· 2026-09-05精选AI 评分84
Anthropic 宣布 Claude 完成费马大定理的首个形式化证明
Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form compu...
AI 导读
Anthropic 宣布 Claude 完成了费马大定理的首个形式化证明，这是有史以来最大的 Lean 证明，代码总量超过 1300 万行。该证明不仅验证了费马大定理本身，还确立了 29000 多个此前未被形式化的相关定理。完整证明已开源至 GitHub。
推荐理由
原文宣布 Claude 完成了费马大定理的首个形式化证明，并给出代码行数等关键数据，展示了 AI 在数学验证领域的前沿应用。
来源：Anthropic (X) · x.com