该致敬时就致敬: Anthropic称Claude在11天内完成费马大定理的首个完全由计算机验证的证明

摘要

Anthropic在社交媒体声明中称，其AI模型Claude在11天内完成了费马大定理的首个完全由计算机验证的证明。安德鲁·怀尔斯于1995年证明了这一定理；Claude的这一成就就是将现有证明转化为计算机可以核查的形式，而非提出新的数学证明。