刚刚，Claude首次证明费马大定理！清华姚班大神出手了
2026.09.06 · 事件 · AI事件 · 官方披露
Anthropic用Claude在11天内完成费马大定理的端到端机器验证证明，产出1300万行代码。
Anthropic宣布，清华姚班出身的彭天翼带队，用Claude在11天内完成了费马大定理的首个端到端机器验证证明。Claude共写出1300万行代码，产出30300条可验证定理，其中29500条被采用，消耗约60亿Token，规模是Mathlib的5倍多。
- Claude 11天完成费马大定理形式化证明
- 产出1300万行代码、30300条定理
- 消耗60亿Token，规模超Mathlib五倍
- 彭天翼团队开发Prove2Me平台支撑
- Lean编译器全检查通过，仅依赖三条公理
为什么值得看
AI首次完成数学史上最大规模证明，展示形式化验证新范式。
适合谁关注
关注AI能力、数学形式化与智能体协作的研究者和爱好者。