# 形式化费马大定理

- 原标题：Formalizing Fermat's Last Theorem
- 类型：博客
- 来源：Anthropic
- 发布时间：2026-09-04
- 首次精选：2026-10-28 09:57
- 分级：必读
- 原文链接：[https://anthropic.com/research/formalizing-fermats-last-theorem](<https://anthropic.com/research/formalizing-fermats-last-theorem>)
- 本站页面：[https://oplearnx.com/resources/pk\_e6c7f157452b](<https://oplearnx.com/resources/pk_e6c7f157452b>)

## 摘要

Anthropic 的一篇文章，介绍其分享的首个经计算机完整校验的费马大定理证明。文中说明 Claude 在约 11 天里基本自主地用 Lean 编程语言写出该证明，并描述了形式化的完成方式，以及这项工作对数学研究可能意味着什么。文章还简述了费马大定理的背景与 1995 年 Andrew Wiles 的原始证明。

---
来源：LearnMap · 学径（https://oplearnx.com）