AI 三天证明悬了 18 年的量子计算猜想，用的是 Anthropic 一个还没发布的模型

数学和物理领域最近接连被 AI 撞开一道口子。这次轮到了量子计算的基础理论：一个 2008 年提出、悬了十八年的猜想，被一套基于 AI 的研究系统在三天内证明出来。

一分钟速览

• 物理研究机构 PSI 宣布，用 Anthropic 一款未发布的模型证明了阿伦森－安拜尼斯猜想
• 该猜想提出于 2008 年，研究量子计算机在什么条件下能获得远超经典计算机的加速
• 研究系统由 PSI 技术人员戴维·图尔图雷安开发，仅用三天完成证明
• 结论是：量子计算的指数级加速必须依赖问题本身存在的特殊结构
• 这是继今年 9 月 OpenAI 宣称解决纳维－斯托克斯方程难题后，AI 辅助数学的又一个标志性案例

这个猜想到底在问什么

量子计算最诱人的承诺是“指数级加速”。但学术界一直有个疑问：这种加速是普遍的吗？还是只在某些特定结构的问题上才成立？阿伦森－安拜尼斯猜想给的答案偏向后一种——量子计算机并非在所有情况下都能获得巨大优势，要想拿到指数级提升，问题本身必须存在可利用的规律或结构。

这个判断如果成立，等于给量子计算的适用边界画了一条线。它不否定量子计算的价值，但把“量子万能论”按了下去。

三天是怎么做到的

据《商业内幕》报道，PSI 自行搭建了一套采用 Anthropic 模型的研究系统，由技术人员戴维·图尔图雷安开发。系统只用了三天就完成了证明。PSI 对外称，这意味“量子计算领域最根本的问题之一”得到解决。至于具体用了哪一款模型，外界暂时不得而知，只知道是尚未公开发布的版本。

此前研究过这一猜想的学者评价这是“重大成果”，为一个存在数十年的难题找到了答案。不过需要保持谨慎：AI 生成的证明仍需同行评议与形式化验证，尤其在这种基础理论领域，“看起来对”和“严格成立”之间差距很大。

这不是孤例

今年 9 月，OpenAI 宣布解决了有 90 年历史的纳维－斯托克斯方程相关难题，被形容为“数学前沿最深奥的问题之一”。两件事放在一起看，趋势很清楚：大模型正在从“会做题”转向“能提出并完成证明”，而这件事过去被认为是人类数学家专属的领地。

当然，也有学者提醒，机器生成证明的价值不完全等于理解。证明写出来了，人类能不能从中提炼出可复用的方法、能不能解释“为什么是这样”，是另一回事。如果只能验证正确性却无法理解结构，那更接近于一个超强的计算器，而不是一个合作者。

对产业意味着什么

短期看，这类成果不会直接变成产品。但它会影响两件事：一是量子硬件路线的资源分配——既然加速有前提，那么“堆比特数”未必是唯一答案；二是 AI for Science 的叙事，从药物发现、材料筛选，延伸到最抽象的基础理论，资本和人才的流向会跟着变。

对 Anthropic 来说，这也是一次没有发布会的品牌加分：模型还没上线，先证明了它能在前沿科学问题上派上用场。

参考来源：《商业内幕》报道、PSI 公告、IT之家报道。