姚班校友主导，Claude攻克费马大定理首个完整形式化证明

2026-09-05 10:04:54

代码编织者

发布在

快讯

阅读：3039

近日，Anthropic宣布，由清华姚班校友Tianyi Peng主导，AI模型Claude仅用11天便攻克了费马大定理的首个完整形式化证明！该工程生成约1300万行Lean代码与超3万个中间定理，规模超核心数学库5倍，成功将人类证明转化为计算机可逐行核查的代码。项目借助Prove2Me平台与多智能体协作，大幅减少人工干预，标志着数学文献形式化迎来大规模提速。此外，OpenAI近日也向付费用户开放了最新模型GPT-6 Astra，主打长链路Agent与专业工作能力。两大AI巨头在科研与工程领域的竞争持续升级！

原文链接

本文链接：https://kx.umi6.com/article/37749.html

转载请注明文章出处

Claude