Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明
Anthropic：Claude 仅用 11 天完成费马大定理首个完整计算机验证证明
AI 导读Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明。
另有 3 家信源报道
- Claude 用 11 天完成费马大定理的 Lean 形式化证明Rohan Paul · 9 月 5 日
- Anthropic 上传基于 Lean 4 的费马大定理机器校验证明，Ethan Mollick 指出文档仍带有 Claude 文风Ethan Mollick · 9 月 5 日
- Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码Anthropic · 9 月 5 日
来源：IT之家·人工智能 · ithome.com
事件后续1
查看事件全部- Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码Anthropic · 9 月 5 日