费马大定理

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

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