Anthropic称Claude形式化证明费马大定理

发生了什么

据极客公园报道，Anthropic于当地时间9月4日宣布，其AI模型Claude在基本自主运行11天后，完成了费马大定理首个端到端且经计算机检查的形式化证明。Anthropic表示，这不是重新发现证明，而是将已有数学证明转换为Lean证明助手可逐步验证的形式。