IBM本周在自己的"量子优势追踪器"上新增了三项实验。三个团队面对的是同一个难题:量子计算机跑出来的答案,连经典计算机都验证不了,凭什么信它是对的?
过去几年,"量子优势"的说法被反复打脸。2019年谷歌"悬铃木"宣称的量子优越性,后来就被更聪明的经典模拟算法迎头赶上。这次IBM换了打法:不比谁算得快,比谁的答案经得起查。
三个实验,同一道难题
三个团队,给出了三条不同的证据链。
| 实验 | 团队 | 证据类型 | 关键细节 | 局限 |
|---|---|---|---|---|
| Floquet-Ising 模型 | IBM、RIKEN、Qedma | 跨硬件复现 | IBM处理器结果换到Quantinuum离子阱处理器重跑,结果一致;经典算法在超算Fugaku上给出互相矛盾的结果,还漏掉了振荡这个关键细节 | 只能排除IBM硬件本身的系统性错误,不能证明答案绝对正确 |
| Clifford+T 门电路 | IBM、芝加哥大学 | 复杂度证明+错误剔除 | 数学上证明这类电路的采样问题在平均意义下对经典计算机指数级难;电路周围接了一圈辅助量子位专门监视误差,一探测到就把整组数据扔掉 | 复杂度证明只挡住了经典验证,不等于证明单次输出没算错 |
| 量子回声实验 | Algorithmiq | 误差定界 | 先挑处理器上噪声最低的区域下手,再故意注入已知噪声反推真实噪声水平,最后换一台IBM处理器整套重跑交叉确认 | 误差被限定在一个可计算的上限内,不是零误差 |
三条路径解决的是同一件事:经典机器验证不了的量子结果,信心从哪来。但三条路径给出的信心,性质并不一样。
复杂度证明只能锁死"经典机器算不出来",不等于"量子机器这次没算错"。真正让人多信几分的,是Clifford+T实验里那圈专门抓错的辅助量子位,抓到就把整组数据扔掉;是Floquet-Ising实验换了一台架构完全不同的机器重跑一遍,结果对上了。
可信不是"绝对正确",是排除出错
三项工作有三个共同的紧箍咒。
第一,全都跑在今天这种有噪声、规模有限的量子位上,没有一个用上容错纠错。第二,模拟的都是极度简化的玩具模型,Floquet-Ising、Clifford+T电路、量子回声,没有一个对应真实材料或分子体系。第三,这些结果眼下公开在IBM自己的追踪器页面上,几篇论文处在不同的同行评审阶段,谁先真正过审,还要再等等看。
量子优势这件事,历史上翻车不止一次。谷歌"悬铃木"的教训摆在那——今天证明经典算法追不上,不代表五年后还追不上。
对关注这件事的人,意味着什么
对盯着量子计算可信度的科技读者,接下来该看两件事:这三条验证路径会不会被搬到真实材料或化学分子的模拟问题上;论文有没有真正走完同行评审。玩具模型上证明得再漂亮,不等于能用在真问题上。
对研发和产业端的人,这次给了一把尺子。下次再有厂商宣称"量子优势",可以直接问一句:结果有没有跨硬件复现?有没有可证明的经典难度?有没有误差上限?答不出来,这套说法的分量就该打折。采购和落地决策该不该动,这三项工作本身还没给出理由改变主意。
IBM的Jay Gambetta把现状说得很直白:一头是拿真实材料对比量子计算机,但那个区域经典方法照样管用;另一头是这次的玩具模型,经典方法跑不动,结果却保真。中间那座桥——把真实问题接到可信的量子计算上——还没人搭起来。
工欲善其事,必先利其器。这三项工作打磨的是排噪声、证难度、定误差的技术,以后会直接用在容错量子计算机上。但器再利,这次砍的还是玩具。