IBM × 芝加哥大学 70 逻辑比特跑出「可验证的量子优越性」——量子计算跨过的不是算力,是验证
2026 年 7 月 30 日,IBM 与芝加哥大学联合宣布,他们的一次量子计算演示首次同时满足了过去十年量子优越性(quantum advantage)演示里最难同时拿下的两个指标:
1. 计算结果超出最强经典模拟方法的实际能力 2. 给出统计置信度证明「这个结果是可信的,不是因为我们运气好」
他们用的是 IBM Heron 处理器上的 70 个逻辑量子比特、2,415 个逻辑双比特门、468 个逻辑 T 门,跑出「保真度下界 0.284 + 95% 置信度 + 错误率抑制 10×」的结果。整轮计算耗时 15 分钟——同等规模的经典模拟在已知最强算法下,需要「不切实际」的运行时间。
论文已于 7 月 30 日以「Sampling hard circuits with verifiably high fidelity」为题,以预印本形式挂上 arXiv(编号 2607.25941)。IEEE Spectrum 紧接着做了报道,称「95% 置信度承诺是过去任何方法都做不到的」。
为什么这是分水岭
量子优越性这个概念从 2019 年 Google 用随机电路采样(Random Circuit Sampling, RCS)首次提出以来,就一直被一个问题卡住——你怎么知道你看到的不是噪声?
RCS 的核心是:让量子处理器跑一组随机量子门序列,产生极其复杂的输出,经典计算机难以复现。如果经典复现不出来,就宣称量子赢了。
但如果连经典都模拟不了,你又怎么证明量子不是「凑巧吐出一堆看起来复杂但其实是噪声的串」?过去 7 年的经典算法陆续追上 Google 2019 年的演示,搞出了「量子优越性其实没那么大」的舆论。
IBM + 芝加哥这次的解法不是「再写更复杂的电路」,而是让电路结构本身就「能被验证」:
- 用一种叫「时空码」(spacetime code)的方式构建电路
- 主要用 Clifford 门(这种门经典计算机可以高效模拟)
- 加上一部分「非 Clifford 门」(让经典模拟复杂度指数级上升)
- 关键是这套结构允许在计算过程里「检测错误、丢弃失败运行」
IBM 研究院院长、IBM 院士 Jay Gambetta 说了一句被反复引用的话:
> 「我们已经身处量子优越性时代。我们展示了一次超出经典计算实际能力的量子计算,并用统计置信度给出了执行保真度的下界。这给科研人员、开发者、企业在量子系统真正用于经典计算无法触及的问题时,提供了可信度基础。」
数据底盘
- 处理器:IBM Heron(2023 年首次发布的可调谐耦合器架构)
- 量子比特:70 个逻辑量子比特(非物理比特——区别就在「逻辑比特」是带纠错的)
- 操作数:2,415 个逻辑双比特门 + 468 个逻辑 T 门
- 运行时长:约 15 分钟
- 保真度下界:0.284(95% 置信度)
- 错误率抑制:综合征后选择(syndrome post-selection)10×
- 经典模拟等价时间:「不切实际」(具体倍数未公开,但 IEEE Spectrum 报道 95% 置信度代价是跑了 860 倍多的运行次数以抵消丢弃率)
- 论文:arXiv:2607.25941,Simon Martiel 等 9 位作者
- 发表时间:2026 年 7 月 30 日挂 arXiv,后续投稿期刊
「验证难题」为什么过去十年无解
量子门分两大类:
- Clifford 门:经典计算机可以高效模拟
- 非 Clifford 门:经典模拟复杂度随数量指数级上升
IBM + 芝加哥这次的关键是:Clifford 门多、非 Clifford 门少,但加上了时空码结构。这样:
- 经典模拟依然难(因为非 Clifford 门还在)
- 计算过程可以自检(因为 Clifford 门多,时空码可以检测错误)
- 失败的运行被丢弃,只有保留下来的运行被计入结果
接下来的关键命题
「验证难题」是过去十年量子计算领域最被诟病的「证明不了自己是对的」困局。Google 2019 演示之后各种经典算法不停追赶,「量子优越性的墙」被屡次推低。
这次 IBM + 芝加哥给出了「可信版的量子优越性」,意味着:
- 经典挑战者不能再「吃了吐」地宣布追上——有了 95% 置信度,经典算法追上变得困难
- 量子优越性开始具备「可引用、可复现、可质疑」的工程属性
- 后续的「找应用、写论文、谈判商业合同」阶段里,量子计算的成果开始有验证底气
为什么这件事比「IBM 又秀了一次量子优越性」重要
过去十年,「量子优越性」一直是个略带自证的演示性质命题——你没法证明你的演示是可信的,所以经典算法不停追上,你就在不停「重定义边界」。
这次 IBM + 芝加哥给出的不是「更大数字的量子优越性」,而是「带统计置信度的量子优越性」。它把量子计算从「演示」推进到「可验证任务」。
具体到产业链:
- 经典超级计算中心的运营方可以把这篇论文拿来当「为什么量子部分不是作秀」的回答
- 制药 / 物流 / 电池 / AI 等行业的研发负责人可以开始认真评估「是不是该尝试用量子做点真东西」
- 美国能源部、阿贡国家实验室、橡树岭国家实验室这一类「量子 + AI + 经典」混合算力中心,可以考虑把这套验证方法集成进自己的工作流
但 IEEE Spectrum 报道了一句关键的话:「本次实验一次完整运行的耗时是 15 分钟,这让任何经典模拟都不再有商业意义。」
换句话说:这是过去十年第一次「量子优越性演示里,经典方没有任何『等我再写个算法就能追上』的空间」。剩下的只有「证明结果是对的」一件事要操心——而 95% 置信度恰恰把这件事也解决了。
---
- 信源:IBM 研究院新闻稿 7 月 30 日、IEEE Spectrum 8 月初详细报道、phys.org 8 月 1 日技术综述、机器先驱 Herald 8 月 5 日复盘评论
- 第一性原理:70 逻辑比特 + 2,415 双比特门 + 468 T 门 + 时空码 + 综合征后选择
- 关键数据:保真度下界 0.284 / 95% 置信度 / 860 倍运行次数成本
- 历史地位:第一次让量子计算在「可信度」和「超越经典」两个维度上同时证立
- 国际反响:IEEE Spectrum / phys.org / Machine Herald / IBM 新闻稿四方独立交叉确认