⌘ K
… 读取采集状态 同步中...
雷
原文
APPSO· APPSO·· 2026-09-05精选AI 评分93

Claude 用 11 天完成费马大定理计算机验证证明

刚刚,Claude用11天完成费马大定理验证,清华姚班校友带队

AI 导读

Anthropic 公布研究成果,Claude 在几乎自主运行下用 11 天完成费马大定理的首个端到端计算机验证证明。过程中 Claude 使用 Lean 编程语言生成约 1300 万行代码,构建了约 3.03 万个定理,其中最终证明使用了 2.95 万个中间定理。

推荐理由

报道详细解析了 Claude 利用多智能体协同与 Lean 语言,以 11 天生成千万行代码完成费马大定理形式化验证的技术路径。

本文当前提供导读和图片预览,完整图文请查看原文。

来源:APPSO · mp.weixin.qq.com