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

Claude 11天完成费马大定理首个端到端机器证明

刚刚,Claude首次证明费马大定理!清华姚班大神出手了

AI 导读

Anthropic宣布Claude仅用11天完成了费马大定理的首个端到端机器验证证明。Claude在此过程中编写了1300万行Lean代码,产出30300条可验证定理,其中29500条被采纳,总消耗达60亿Token。

推荐理由

报道指出由清华姚班出身的彭天翼主导,Claude通过Prove2Me平台在11天内生成了30300条可验证定理,完成了费马大定理的机器证明。

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

来源:新智元 · mp.weixin.qq.com