返回新闻中心新闻摘要AI 仅用 11 天就解决了 350 年的数学难题，创造了最长的证明Anthropic 表示，Claude 花了 11 天时间将费马最后定理转化为 1300 万行代码，计算机可以自行验证，无需人工信任来源Decrypt发布时间2026-09-05 13:01 UTC缓存更新2026-09-05 13:03 UTCArtificial Intelligence本页仅展示标题、摘要与来源信息，完整内容请访问原新闻源。打开原文 ↗查看手续费相关专题01用户与应用Decrypt关注面向普通用户的钱包、应用、安全、DeFi 和市场新闻，帮助移动端用户更快判断是否需要租赁能量。
