Anthropic 完成 Fermat 大定理的形式化证明
热点事件历史事件
Anthropic 完成 Fermat 大定理的形式化证明
3 篇报道3 个报道来源2026-09-05更新
先了解这件事
报道摘要
Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。
摘自 Anthropic
最新进展9月5日 07:20
Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明报道时间线
沿着报道，了解事件的不同侧面。
9月5日
- IT之家·人工智能Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明
Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明。
- Rohan PaulClaude 用 11 天完成费马大定理的 Lean 形式化证明
Anthropic 宣布 Claude 完成费马大定理的首个完整机器验证证明，Claude 在 11 天内以多个智能体将基于 Wiles 的证明转化为 Lean 代码。
- Anthropic精选Claude 完成 Fermat 大定理的形式化证明，生成超 1300 万行 Lean 代码
Anthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明，这是迄今最大的 Lean 证明。