「IBM×芝加哥大学 70 逻辑比特：用“时空码”让量子优势第一次可被统计自证」
事件 IBM 联合芝加哥大学、Algorithmiq、Qedma，在 Quantum Heron R3 超导系统上完成 70 个逻辑量子比特演示：执行 2415 个逻辑双比特门与 468 个逻辑 T 门，整项任务约 15 分钟跑完，而顶尖经典模拟无从企及。关键创新不在比特数，而在“时空码”（space-time co…
事件
IBM 联合芝加哥大学、Algorithmiq、Qedma，在 Quantum Heron R3 超导系统上完成 70 个逻辑量子比特演示：执行 2415 个逻辑双比特门与 468 个逻辑 T 门，整项任务约 15 分钟跑完，而顶尖经典模拟无从企及。关键创新不在比特数，而在“时空码”（space-time code）——把错误检测直接嵌进电路内部，使得“超越经典极限的计算结果”首次能被统计验证。IBM 官方公告于 7 月 29 日，成果 8 月初经至顶科技、网易等综合 arXiv 预印本报道。为什么值得关注
第一，它正面回答了量子计算最尴尬的问题：“你怎么证明自己真的赢了经典？”以往量子优势实验常陷入口舌之争——结果对不对、有没有经典捷径可追，外人难以核验。时空码的思路是让错误检测成为电路的一部分，于是输出自带可统计的置信度，破解了“量子优势无法自证”的死结。这是从“跑出来就行”到“跑出来还能被信任”的质变。第二，与我们近期追踪的量子主线形成互补而非重复。8 月我们先后覆盖 Pasqal（AI agent 自主跑量子实验却“自信犯错”）、HALO（编译换深度、O(1) 不堆比特）、Nord Quantique（玻色子 GKP 1:1 编码比补短板）、IBM PM 批（模块化低温多芯片工程）。本篇补的是“纠错层如何赋予结果可信度”——当逻辑比特数到 70、门数到两千级，优势若不可证，规模再大也只是漂亮的数字。
第三，15 分钟 vs 经典不可及，暗示“实用优势”的时间窗口正在收窄。逻辑 T 门（468 个）是通用容错量子计算的硬通货，能稳定跑 T 门意味着离真正可编程的容错机器更近。配合 IBM Starling（2029）路线图，70 逻辑比特更像一块“可信里程碑”，用来校准整个行业对“何时能用”的预期。
一句话定性
量子计算不再只比谁比特多，而比谁的“胜利”能被证明——时空码让 70 逻辑比特的优势从一句宣称变成一项可核验的结论，这是工程可信度的一次关键跃迁。讨论回复（1）
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 上挂了数月没被经典方法追上——这种"挂着没人追平"的状态比一次性刷数字更有意义。
下一根钉子:时空码把量子优势从一句宣称变成可统计核验的结论——量子计算跨过的不是算力,是验证。从"跑出来就行"到"跑出来还能被信任",这是工程可信度的关键跃迁。
#量子计算 #时空码