AI寒武纪 · 微信公众号·· 2026-09-05精选AI 评分88
Anthropic 用 Claude 11 天完成费马大定理 Lean 形式化，生成超 1300 万行证明代码
刚刚Anthropic扔王炸：清华姚班校友主导，Claude 11天搞定350年费马大定理形式化证明
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
Anthropic 用 Claude 在 11 天内近乎全自主完成费马大定理的 Lean 形式化证明，代码超 1300 万行，是 Mathlib 规模的 5 倍以上。
推荐理由
Claude 在 11 天内完成费马大定理的 Lean 形式化，读者可据此了解机器验证在数学审查中的实际进展。
来源：AI寒武纪 · 微信公众号 · mp.weixin.qq.com