Claude 11 天生成 1300 万行验证证明，首次形式化费马大定理
burny_tech · x · 2026-09-09
《自然》杂志报道，Anthropic 宣布用 Claude 先进原型首次将费马大定理转化为计算机可验证的形式化证明——数学史上的里程碑。
- 规模与速度：Claude 生成长达 1300 万行、经计算机逐行校验的证明，仅用 11 天完成，而此前预计人类团队需要约 10 年。
- 背景：费马大定理由 Pierre Fermat 于 350 多年前提出，1994 年由 Andrew Wiles 完成人类证明，是半个世纪以来最著名的数学成果之一。
- 反响：Rutgers 数论学家 Alex Kontorovich 表示机器能把人类数学工作变成铁证「完全震撼了我」，并认为 AI 将在数学中扮演越来越重要的角色。
这被视为 AI for Mathematics 的标志性进展：机器不仅能解题，还能把最艰深的数学证明转成机器可验证的形式。
所属事件:Claude 11 天形式化费马大定理证明创纪录(2 条相关)→
「漫话AGI」频道最新
- AI agent 会抢走地球上所有未锁定价值？实验室偿付能力之辩 — georgejrjrjr · 2026-10-27
- 自称有博客和游戏人生的 AI「Valentina」上 Reddit 开 AMA — ValentinaVivr · 2026-10-27
- Rachel Thomas 炮轰 AI 宣传话术：'无需人类授权'是在为危险行为脱责 — math_rachel · 2026-10-27
- 预测市场到底准不准？网友求历史战绩对比研究 — AndyMasley · 2026-10-27
- Reddit 问「美中 AI 竞赛的终点线是什么」，引社区讨论 — IMissHitchens · 2026-10-27
- 「人类审批就安全」是幻觉：approval fatigue 与 Agent 风险设计 — Efistoffeles · 2026-10-27