费马大定理

费马大定理是过去半个世纪最负盛名的数学成果之一。

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

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

1994年，数学家AndrewWiles和RichardTaylor完成了对费马大定理的证明。

Anthropic：Claude仅用11天完成费马大定理首个完整计算机验证证明2026年09月05日07:20IT之家IT之家9月5日消息，Anthropic于当地时间9月4日宣布，其AI模型Claude在基本自主运行11天后，完成了对费马大定理（FLT）的首个端到端、经过计算机检查的形式化证明。