Anthropic 报告 Claude 在 11 天内完成费马大定理首个完整计算机可检验证明

Anthropic 宣布公开费马大定理的首个完整 computer-checked proof，并称 Claude 在 11 天内 largely autonomously 将相关现代证明形式化为 Lean。该事件的核心是把一个大型、成熟的人类数学证明转化为可由 proof assistant kernel 检查的形式资产，而不是提出新的费马大定理证明。