Anthropic 用 Claude 在 11 天完成费马大定理的首个机器校验证明

Anthropic 发布首个完整计算机校验的费马大定理证明，由 Claude 在 11 天内大体自主完成，写出 1300 万行 Lean 代码，证明 30,300 个中间定理（最终证明使用 29,500 个），规模超过 Mathlib 5 倍。