Claude 11天完成费马大定理首个完整计算机验证
导读 IT之家9月5日消息，Anthropic于当地时间9月4日宣布，其AI模型Claude在基本自主运行11天后，完成了对费马大定理的首个端到端、经过计算机检查的形式化证明。
IT之家9月5日消息，Anthropic于当地时间9月4日宣布，其AI模型Claude在基本自主运行11天后，完成了对费马大定理的首个端到端、经过计算机检查的形式化证明。
Anthropic表示，这项工作并非重新发现费马大定理的数学证明，而是将已有数学证明转换为Lean证明助手可以逐步验证的形式。据介绍，Claude在这一过程中生成了约1300万行Lean代码，并证明了约3.03万个定理，其中约2.95万个中间定理最终被纳入费马大定理的完整证明。Anthropic此前预计费马大定理的形式化工作可能需要数年。Anthropic称，最终证明遵循了Darmon、Diamond和Taylor对怀尔斯证明的简化版本。Anthropic特别强调，此次成果的重点并不是AI独立提出了新的费马大定理证明。