Claude内部模型3天证明18年量子猜想，Aaronson-Ambainis定理诞生
困住人类十六年的证明被AI攻下
Anthropic还留着一手。
量子计算领域悬了18年的猜想，被
Claude的内部模型拿下了。这个模型并未对外公开，只花了3天，就攻克了自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/
