Anthropic 发布费马大定理的 Lean 4 机器检查完整证明

先了解这件事

Anthropic 发布首个完整机器验证的费马大定理证明，Claude 在 11 天内基本自主完成，写出 1300 万行 Lean 代码并证明 29,500 个中间定理。