费马大定理

Anthropic特别强调，此次成果的重点并不是AI独立提出了新的费马大定理证明，该定理早在1995年已由怀尔斯证明，此次工作的创新之处在于利用AI大规模自动完成证明形式化，并由Lean对最终结果进行计算机验证。

这项工作的目标是将英国数学家安德鲁·怀尔斯于1995年完成的费马大定理证明进行形式化。