Anthropic：Claude自主完成费马大定理Lean形式化证明

RecodeX 重构消息，Anthropic宣布，其AI模型Claude在11天内“基本自主”完成了费马大定理在Lean编程语言中的形式化证明，这是首个经计算机完整验证的费马大定理证明。