Anthropic 用 Claude 11 天完成费马大定理机器验证证明

Anthropic 发布首个经计算机验证的费马大定理证明，Claude 在 11 天内大体自主完成 Lean 形式化，写出 1300 万行代码并证明 30,300 个定理，规模超 Mathlib 5 倍以上。