数学家

Claude 完成费马大定理的形式化验证

Anthropic 宣布其人工智能模型 Claude 在 11 天内完成了费马大定理的形式化证明，生成了 1300 万行 Lean 代码。