AI 助力攻克 350 年数学难题

据报道，Anthropic 公司开发的 AI 模型 Claude 耗时 11 天，将费马大定理转化为一段可由计算机自行验证的 1300 万行代码。这项成就标志着 AI 在数学研究领域取得了重大突破，无需人类信任即可完成冗长复杂的证明过程，解决了困扰数学界长达 350 年的难题。这一技术发展可能预示着 AI 在科学研究领域更广泛的应用前景。