原文跳转提示
此资讯内容来源于外部网站,将在 60 秒后自动跳转到原文页面
https://www.techmeme.com/260904/p28#a260904p28
立即前往原文

Anthropic称Claude历时11天在Lean中基本自主形式化费马大定理

Anthropic表示,Claude历时11天,基本以自主方式使用编程语言Lean形式化了费马大定理的证明。该公司称,这是该定理首个完整的计算机检验证明。
行业资讯 应用 行业新闻 AI模型 研究 2026-09-05 04:38:50 586 阅读 阅读约 1 分钟 来源:Techmeme
本文来源:Techmeme,仅供学习参考,版权归原作者所有。