Claude 用 11 天完成费马大定理的 Lean 形式化证明
Another serious win for AI in mathematics: Claude formalized Fermat’s Last Theorem in 11 days. AI m...
AI 导读Anthropic 宣布 Claude 完成费马大定理的首个完整机器验证证明，Claude 在 11 天内以多个智能体将基于 Wiles 的证明转化为 Lean 代码。
另有 3 家信源报道
- Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明IT之家·人工智能 · 9 月 5 日
- Anthropic 上传基于 Lean 4 的费马大定理机器校验证明，Ethan Mollick 指出文档仍带有 Claude 文风Ethan Mollick · 9 月 5 日
- Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码Anthropic · 9 月 5 日
来源：Rohan Paul · x.com
事件后续1
查看事件全部- Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码Anthropic · 9 月 5 日