先了解这件事
Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。
最新进展
Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明
事件进展1
Anthropic 完成 Fermat 大定理的形式化证明
Anthropic：Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码
热点榜
Anthropic 完成 Fermat 大定理的形式化证明
4 篇报道4 个报道来源9 月 5 日更新