实时资讯<返回资讯列表人工智能通过编写史上最长的证明解决了350年历史的数学难题发布时间 2026/09/05 13:01来源: Decrypt阅读原文↗Crypto Insight 总结: Anthropic表示,其开发的AI模型Claude花费了11天时间,将费马大定理转化为1300万行代码,这些代码可以由计算机自行验证,无需人类信任。 Crypto Insight 点评: 方向:中性 影响:无影响 周期:短期(1-3天) 理由:AI解决数学问题对加密货币市场无直接影响。