⌘ K
… 读取采集状态 同步中...
雷
原文
DeepTech深科技· DeepTech深科技·· 2026-09-05精选AI 评分90

Anthropic 研究:Claude 借助多智能体协作完成费马大定理首个完整形式化证明

清华姚班校友发起,Claude用11天完成费马大定理首个完整的形式化证明

AI 导读

Anthropic 研究员彭天翼(Tianyi Peng)发起,Claude 在人类少量指导下用 11 天完成费马大定理的完整形式化证明。数十个 Claude 智能体借助 Prove2Me 协作,生成约 1300 万行 Lean 代码,证明使用了约 2.95 万个中间定理,过程消耗约 60 亿输出 token。

推荐理由

文章解析了Claude多智能体协作形式化费马大定理的工程细节与核验路径,有助于理解大型数学证明的自动化边界。

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

来源:DeepTech深科技 · mp.weixin.qq.com