北京
新智元报道
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/
编辑：大卫
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
