Anthropic未发布模型在黎曼猜想研究中取得意外进展,AI数学能力受关注

AI模型分析黎曼猜想图表

在数学的浩瀚星空中,黎曼猜想无疑是最为璀璨且令人望而生畏的一颗“暗星”。这一困扰了数学界长达150多年的顶级难题,一直被视为通往素数分布核心秘密的钥匙。近日,生成式 AI 领域的巨头 Anthropic 带来了一则令数学界和科技界都为之振奋的消息:该公司利用一款尚未正式发布的模型,在黎曼猜想的研究中取得了超出预期的进展。

黎曼猜想由德国数学家伯恩哈德·黎曼于1859年提出,它涉及黎曼 Zeta 函数的零点分布。虽然它听起来抽象,但其正确与否将直接决定我们对质数(素数)分布规律的理解。如果黎曼猜想得到证明,将为密码学、数论乃至计算机科学提供全新的理论基石;反之,如果被推翻,则可能引发数学基础的重构。

Anthropic 并非试图用简单的算法去暴力破解这一难题,而是尝试利用大语言模型(LLM)特有的“推理能力”。不同于以往 AI 只能处理既定数据或生成文本的模式,Anthropic 的未发布模型展现出了在复杂符号逻辑中寻找关联的能力。据透露,该模型在分析 Zeta 函数的数值特征时,提出了一些人类数学家尚未系统阐述的新视角,甚至在某些辅助性验证步骤上超越了传统方法的效率。

这一突破的意义远超数学本身。长期以来,人们对于 AI 的认知往往停留在“预测下一个词”或“生成代码”的层面,认为 AI 缺乏真正的科学直觉和深度逻辑推理能力。然而,黎曼猜想的研究过程充满了非结构化的逻辑推演和创造性思维。Anthropic 的尝试证明了,经过特定训练的 AI 模型完全有能力介入高深的理论研究,成为科学家的“超级副驾驶”。

这对于 AI 赛道来说是一个风向标。它表明,未来的 AI 竞争将不再仅仅局限于聊天机器人或内容生成,而是向“科学智能”深度渗透。无论是生物学、化学还是物理学,复杂的公式和未解之谜都将成为 AI 大显身手的舞台。Anthropic 的这一举措也向竞争对手发出了信号:在通往通用人工智能(AGI)的道路上,解决人类最棘手的未解难题将是重要的里程碑。

虽然黎曼猜想目前仍未被完全证明,但 Anthropic 的进展已经打破了数学家们对 AI 能力的固有偏见。这不仅是 AI 技术的一次胜利,更是人类利用新技术探索未知世界的一次壮举。随着模型能力的持续迭代,我们有理由期待,AI 将在未来的科学发现中扮演越来越关键的角色,帮助人类解开更多宇宙的奥秘。

信息来源:AI News & Artificial Intelligence | TechCrunch,原文链接:https://techcrunch.com/2026/08/11/an-unreleased-anthropic-model-made-progress-on-one-of-maths-biggest-unsolved-problems/

封面图片来源:Unsplash / 摄影师 Brecht Corbeel

oaido_ai

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注