A社超强模型曝光，三天攻破量子计算圣杯，Agent Harness立大功 - 壹号娱乐官网

Anthropic还有大招！

历史时刻再现：Claude 内部模型攻克了量子计算领域 18 年悬赏猜想。

只用了3天，非公开Claude模型就攻克了自2008年悬而未决的Aaronson-Ambainis猜想！

网友推测：这个内部模型似乎就是非公开版模型Claude Model 4，堪称壹号模型。

定理和推论已完成Lean形式化，量子计算相比传统计算优越性到底有多少，终于有了答案。

Claude戳破量子霸权迷信

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 的速度人所难及！

据介绍，以 Anthropic 内部模型为核心的Harness系统搭建完成后，三天后就完成了第一个证明。

随即被送入 Lean 证明助手中接受检验。

但这还没完。

当模型实例被要求借助这些中间结果去攻克悬而未决的难题时，它们反过来打磨了这些中间结果，将指数从 22 压到 11，再到 7，不断下贱。

这也是发现过程本身的缩影：证明不是一蹴而就的灵光，而是在中间结果的反复打磨中，一步步逼近最优的边界。

物理学与数学依然宽广，宇宙依然浩瀚，需要人类探索的未解之谜依旧恒多。

但有一件事已经确定无疑：

探索的理性疆域的那支探险队里，如今不再只有人类自己茕茕孑立，形影相吊。

参考资料：

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

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

本文来自微信公众号“新智元”，作者：ASI启示录，36氪经授权发布。