**数学界震动！Claude一口气写下19万行源码，揪出13年前证明错误**

> <p\>这是真要把人类数学家，逼上绝路啊&\#8230;&\#8230; 费马大定理，30个小时1000个Claude Fable 5.2组队，完成了完整的形式化证明。</p\>

**来源信息**
- **来源**：新智元：资讯（API）
- **分类**：ai-products
- **发布时间**：2026-11-14 08:07（北京时间）
- **原文**：[打开原文](https://aiera.com.cn/asi-post.html?id=123766)