Anthropic非公开Claude模型：3天攻克18年量子计算猜想

新智元报道  

Anthropic还留着一手。

量子计算领域一桩悬了18年的猜想，被Claude的内部模型拿下了。这个叫Aaronson-Ambainis的猜想从2008年起一直没解，非公开的Claude模型只花了3天就把它攻破。

有网友猜，这个内部模型看起来就是没公开的Claude Model 4。

相关的定理和推论已经用Lean完成形式化。量子计算比传统计算强多少，这下有了答案。

1994年，Peter Shor提出肖尔算法，名声大噪。普通计算机分解大整数要花指数级时间，这个算法却能在多项式时间内完成。

现代加密体系的根基因此动摇。

肖尔算法打响头炮之后，「量子霸权」（Quantum Supremacy）一词迅速传遍全球科技圈和资本市场。

量子叠加、量子纠缠、指数级加速——一幅让人心潮澎湃的图景摆在眼前。似乎只要把那些脆弱的量子比特操控好，人类就能全面碾压传统计算，一步跨进算力近乎无限的新时代。

一种想当然的错觉随之蔓延：只要有了量子叠加态，多数难题量子计算机好像都能瞬间遍历所有可能，打出指数级的暴击。

好在物理学家和计算机科学家很快看清了真相：肖尔算法能实现「指数级碾压」，靠的是整数分解本身藏着很强的周期性结构，而量子计算机恰好擅长抓住这种重复规律。

可要是喂进去的数据彻底随机，既无规律也没什么特殊结构，量子计算机还能不能拿到指数级的优势？

2008年，Scott Aaronson与Andris Ambainis这两位量子计算领域的领军学者，把这一物理与算法交织的问题提炼成了纯数学问题。他们把计算机读取输入数据的过程类比为「观察」。

经典计算机每读一位，看到的是一个确定的「0」或「1」；量子计算机借助叠加态，则能把一次观察摊到海量状态之上。

两位学者发现，量子计算机做完T 次观察后给出「是」的概率，本质上能被严格刻画成一个「有界低阶多项式」。只要能证明这种多项式在翻转某个变量时必然出现足够大的变化，也就是存在影响力显著的变量，那就等于证明：经典计算机只须付出多项式级别的额外代价，就能完整模拟量子计算机的行为。

这便是知名的 Aaronson-Ambainis 猜想。

如今，这个猜想已经被AI证明，往后或许要改口叫「Aaronson-Ambainis定理」了：

按照他们的说法：

有一点要说清楚：量子霸权并没有就此退场。被终结的是量子计算身上那层「盲目迷信」，这个定理划出了量子优势在P里能够立足的「合法领地」。

这次出手的Physical Superintelligence，并非头一回。

就在上个月，他们刚把量子信息论里五个悬了很久的问题一并解决。

麻省理工学院的Guy Blanc、Jordan Docter、Carmen Strassle 与斯坦福大学的 Li-Yang Tan 此前已经解决了这个猜想在经典模拟推论上的一个特例。

这批研究者一直在读新出的证明，他们的判断是：这是一个「大结果」。它把一个拖了几十年的猜想给解决了，对于哪些问题能拿到量子加速这件事，意义不小。

这项研究牵涉布尔函数分析和概率组合里的好几个方向。这次的证明也不是照着文献「鹦鹉学舌」检索一遍就完事，按他们的说法，是用一种「相当奇妙的方式」把所有内容汇到了一起。

要是换成人类，多个领域的专家联手，或许最后也能证出来。可 AI 这个速度，人确实追不上。

按介绍，Harness 系统以 Anthropic 的内部模型为核心，搭好之后只用了三天，第一个证明就出来了。

紧接着，证明被送进 Lean 证明助手做检验。

事情到这儿还没结束。模型实例被要求拿这些中间结果去啃那些悬而未决的难题，结果它们反过来把中间结果又磨了一遍，指数从 22 压到 11，再压到 7，一路往下走。

证明从来不是一拍脑袋就有的灵光，它更像一场反复打磨的活计：中间结果被一遍遍返工，最优的边界才一点点逼近。发现过程本身，也正是这么个缩影。物理和数学的天地仍旧辽阔，宇宙也依旧大得没边，等着人类去解的谜题还多得很。

可有一点已经板上钉钉：在开拓理性疆域的那支队伍里，人类如今不再是孤零零的一支。

参考资料：

https://psi.inc/research/oqp-batch-2026/

https://psi.inc/research/aaronson-ambainis/