大模型
www.anthropic.com ·
Anthropic：Claude 完成费马大定理首个 Lean 形式化证明
Anthropic 宣布 Claude 完成费马大定理的首个 Lean 形式化证明，包含超过1300万行Lean代码，验证约2.9万个附属定理，是迄今最大规模Lean证明，项目已在GitHub开源。
AI推荐理由 形式化证明是AI辅助数学研究的重要里程碑，开源项目为从业者提供了大规模案例，可借鉴其方法。
89
正文
当前仅保存了标题或简介；并非所有来源都提供正文，可通过下方原文链接查看。