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 ⭐ 点赞、转发、在看一键三连 ⭐ 点亮星标，锁定新智元极速推送！ 文章原文