Claude 完成费马大定理的机器验证证明
热点事件历史事件
Claude 完成费马大定理的机器验证证明
1 篇报道1 个报道来源2026-09-04更新
先了解这件事
报道摘要
Anthropic 发布首个完整机器验证的费马大定理证明，Claude 在 11 天内基本自主完成，写出 1300 万行 Lean 代码并证明 29,500 个中间定理。
摘自 Anthropic：Research
最新进展9月4日 00:00
Claude 用 11 天完成费马大定理的首个完整机器验证证明报道时间线
沿着报道，了解事件的不同侧面。
9月4日
- Anthropic：Research精选Claude 用 11 天完成费马大定理的首个完整机器验证证明
Anthropic 发布首个完整机器验证的费马大定理证明，Claude 在 11 天内基本自主完成，写出 1300 万行 Lean 代码并证明 29,500 个中间定理。