模型多源确认
Claude完成费马大定理首个完整形式化证明
姚班校友主导，Claude攻克费马大定理首个完整形式化证明
精选理由
姚班团队用Claude完成了费马大定理的形式化证明，比人类证明更严谨，AI数学能力再获突破。
Anthropic的Claude模型成功完成了费马大定理的完整形式化证明。该证明由姚班校友团队主导，使用了Harness验证系统。Claude在证明过程中展现了强大的数学推理能力，解决了困扰数学界358年的难题。这一成果标志着AI在纯数学领域的重大突破。
原文 · 量子位
姚班校友主导，Claude攻克费马大定理首个完整形式化证明
最后靠Harness救回来
