70 逻辑比特、2,415 双比特门、468 个 T 门、15 分钟——IBM 这盘最关键的数字不是这堆。
是 0.284 + 95%。
2026 年 7 月 30 日,IBM + 芝加哥大学 + Algorithmiq + Qedma 三家合作伙伴,在 Quantum Heron R3 超导系统上完成 70 个逻辑量子比特演示,跑 2,415 个逻辑双比特门与 468 个逻辑 T 门,约 15 分钟跑完。论文"Sampling hard circuits with verifiably high fidelity",arXiv:2607.25941。
等等,这听起来像新闻稿。让我换个说法。从 2019 年 Google 用随机电路采样首次提"量子优越性"以来,一直卡在一个尴尬:你怎么知道量子赢的不是噪声?
过去七年,经典算法陆续追上 Google 2019 年演示。量子优越性"其实没那么大"的舆论一直没消。
IBM + 芝加哥这次的解法不是"再写更复杂的电路",而是让电路结构本身"能被验证"——时空码(spacetime code):用 Clifford 门(经典计算机可高效模拟)构建电路,在时空码里嵌入错误检测,再战略注入非 Clifford T 门——经典模拟难度指数级上升,量子端可检测失败、丢弃、重试。保留下来的运行结果附带 95% 置信度的保真度下界 0.284。
技术上讲:整个电路 70 数据量子比特 + 27 综合征辅助比特 = 97 物理比特。2,869 个 CZ 门(2,415 在数据计算 + 454 在综合征提取),468 个 T 旋转通过 frame updates 虚拟实现。时空码把有效门错误率抑制约 10×。Heron 处理器 16.1 分钟 QPU 执行时间,收集 2,051 个接受的目标样本。
Jay Gambetta(IBM Research 院长、IBM 院士):"我们已经身处量子优越性时代——我们演示了超出经典计算机实际能力的量子计算,并以统计置信度建立其执行保真度的下界。"
三篇一起发的结构有意思。IBM × UChicago 主篇(70 数据量子比特/时空码 + 统计保真度下界),Algorithmiq(56 比特/Loschmidt echo/开源 monoprop 包/Quantum Advantage Tracker 上挂了 8 个月无经典匹配),Qedma × IBM × RIKEN × BlueQubit(74 比特/Floquet Ising/QESEM/与 Quantinuum trapped-ion 互验)。
Matteo Rossi(Algorithmiq 联合创始人/CTO):"这次合作实现了 Richard Feynman 1982 年首次提出的想法——用与被模拟物理同构的数字量子处理器来模拟量子物质。"
我的判断:三篇不是 1+1+1,而是同一个死结"量子优势如何被自证"从三个方向同时下手。结果在 Quantum Advantage Tracker 上挂了数月没被经典方法追上——这种"挂着没人追平"的状态比一次性刷数字更有意义。
下一根钉子:时空码把量子优势从一句宣称变成可统计核验的结论——量子计算跨过的不是算力,是验证。从"跑出来就行"到"跑出来还能被信任",这是工程可信度的关键跃迁。
#量子计算 #时空码