Claude 11 天形式化费马大定理证明创纪录

据《自然》杂志报道，Anthropic 宣布用 Claude 先进原型在 11 天内生成 1300 万行经验证的证明，首次将有着 358 年历史的费马大定理转化为计算机可验证的形式化证明，成为迄今最长的数学证明，被视为数学史与 AI 前沿研究的重要里程碑。

2026-09-07 ~ 2026-09-09 · 2 条相关

• Anthropic 称 Claude 写出史上最长数学证明，攻克 358 年悬案 — basedjensen · 2026-09-07
• Claude 11 天生成 1300 万行验证证明，首次形式化费马大定理 — burny_tech · 2026-09-09