Model Update2026-08-12
TechCrunch
Anthropic新模型在黎曼猜想上取得进展,数学界炸锅了
最近,一个消息同时震动了数学界和AI圈:Anthropic一个尚未发布的模型,在黎曼猜想上取得了引人注目的进展。这个猜想是数学史上最著名的未解难题之一,已经困扰了数学家超过150年,核心是关于素数分布规律的问题,对数论和密码学都有深远影响。
不过先说清楚:这个模型并没有真正解决黎曼猜想——那将是历史性的突破——但它的表现远超所有人的预期。模型展现出了高级的数学推理能力,生成了一些连资深研究者都没想到的洞见和部分结果。这不仅仅是计算能力的问题,黎曼猜想需要深层的概念理解和创造性解题思路,而这两项恰恰是AI过去最不擅长的。
这件事的意义不小。如果AI真能在黎曼猜想这类问题上取得实质进展,它完全有潜力成为科研中不可或缺的伙伴。数学家可以借助AI探索新的研究方向、快速验证猜想、发现人类直觉可能漏掉的模式,这可能会加速物理学、计算机科学和工程学多个领域的发现进程。
但另一方面,这也引出了一连串哲学层面的问题:如果AI能在这种级别的数学问题上进行推理,那人类专家的价值在哪里?有研究者担心,过度依赖AI可能会抑制人类的创造力;也有人持乐观态度,认为AI就像当年的计算器和电脑一样,是放大人类能力的工具,而不是替代者。
目前,Anthropic还没有公开发布这个模型,具体细节也少之又少。但消息一出,关于AI在学术界未来角色的讨论已经变得非常激烈。黎曼猜想只是一个例子,数学和科学领域还有成百上千个未解难题可能受益于AI的辅助。这次进展最终能否导向一个正式的证明,现在还不好说,但单就这个进步本身而言,已经是AI走向真正推理能力道路上的一个重要里程碑。