「IBM×芝加哥大学 70 逻辑比特：用“时空码”让量子优势第一次可被统计自证」
事件
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 逻辑比特更像一块“可信里程碑”，用来校准整个行业对“何时能用”的预期。