Anthropic称Claude完成费马大定理形式化证明

来源：币圈快讯发布时间：2026-09-05 23:10 阅读：1,907 栏目：币圈快讯

Anthropic称，Claude 用 11 天完成费马大定理的完整形式化证明，生成约 1300 万行可机检代码。

标签：币圈快讯

客服电话 (工作日 09:00-17:00)

[email protected]

关于我们: 亚财简介; 公司理念; 发展历程; 资质荣誉; 媒体报道; 加入我们

客户支持: 常见问题; 客户服务; 联系我们

行情中心: 币安现货; U本位合约; TradFi; 黄金; 美原油; A股; 港股; 美股

协议条款: 注册协议; 法律声明; 风险提示; 服务协议; 举报规则; 申诉规则

京ICP备12034567号 | 增值电信业务经营许可证 | 京公安网备11010502030123号 | 广播电视节目制作经营许可证（京）字第05268号

Copyright © 2010-2016 亚洲财经网 All Rights Reserved 市场有风险投资需谨慎

地址：北京市朝阳区光华里8号中海广场中楼30层邮编：100020