Claude挑战黎曼猜想意外创纪录

原文内容概括缩写：2025年，人工智能研究公司Anthropic内部团队向一个尚未公开发布的Claude高级研究版本下达了一项极具挑战性的任务：尝试攻克黎曼猜想。黎曼猜想诞生于1859年，由德国数学家波恩哈德·黎曼提出，是关于素数分布规律的著名数学难题，悬而未决已超过167年，并被克雷数学研究所列为千禧年七大数学难题之一，悬赏100万美元奖金。此次任务的设定近乎“不讲道理”，因为AI需要在有限的计算资源和时间约束下，对如此深奥的数学问题展开探索。在尝试过程中，Claude并未直接证明或证伪黎曼猜想，但意外地刷新了一项持续37年的数学计算纪录。这项纪录涉及黎曼ζ函数零点分布的数值计算精度或范围，此前由传统数学计算方法保持。具体而言，Claude通过创新的算法优化和高效的计算资源调度，在特定区间内实现了超越人类数学家及此前所有计算机程序的数值验证结果。这一突破虽然未触及黎曼猜想的本质，但证明了AI在复杂数学推理和符号计算方面具备显著能力。Anthropic的研究人员表示，这次尝试为AI在科学发现和数学证明领域的应用提供了宝贵经验，未来可能通过改进算法和扩大计算规模，进一步探索类似难题。同时，这一事件也引发了关于AI是否可能最终解决数学界长期未解难题的讨论，以及AI在基础科学研究中扮演的角色——是辅助工具还是潜在的独立发现者。目前，相关研究仍在进行中，Claude的具体版本信息和详细技术细节尚未完全公开。