**Anthropic AI 11天形式化证明费马大定理，生成1300万行计算机验证代码**

_Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days_

> Anthropic公司开发的AI聊天机器人Claude在11天内完成了费马大定理的形式化证明，生成了1300万行的计算机验证代码。这一成果标志着数学史上的重要里程碑，原始证明由Andrew Wiles于1994年完成。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-09-08 08:07（北京时间）
- **原文**：[打开原文](https://www.nature.com/articles/d41586-026-02822-9)