編按:本文綜合整理自 Ars Technica 原始報導、IBM 官方新聞稿 與 IBM Quantum Advantage Tracker 部落格,並加入 Siami 編輯部觀點與分析。
2026 年 7 月 30 日,IBM 與芬蘭量子軟體公司 Algorithmiq 聯手發表一份量子運算里程碑:他們用 IBM Quantum Heron 處理器模擬「異質量子物質(heterogeneous quantum matter)」中的資訊流動,歷經八個月公開挑戰,至今仍無任何傳統演算法能在這個問題範圍上完全可靠地複製結果。這不是「量子碾壓經典」的戲劇時刻,而是一場解決「量子結果無從驗證」信任危機的工程勝仗。
IBM 量子部門的 Jay Gambetta 對 Ars Technica 一句話定調整件事的本質:「能用傳統模擬驗證的量子結果,信任無關緊要;不能用傳統模擬驗證的量子結果,信任才真正重要。」
量子優勢的「信任悖論」
量子計算的數學理論早已證明:對某些演算法,量子電腦能在經典電腦「耗時不合理」的時間內產出結果。但今天的量子硬體既吵雜、又只有數百個量子位元,根本跑不動那些經典殺手鐧。
剩下來能跑的問題,反而面對一個尷尬的兩難:
- 如果量子電腦產出結果的速度讓經典電腦無法追趕,那麼就沒有獨立方式驗證它是對的。
- 而今天的量子處理器本質上會出錯。
- 更糟的是,沒有數學證明保證量子演算法一定比最佳經典演算法快——一個更聰明的經典演算法隨時可能追上。
IBM 為此推出 Quantum Advantage Tracker,7 月 30 日一次新增三個條目,分別用三種不同的工程思路回應這個信任問題。三個方法都「目前沒有立即的實用價值」,但共同指出方向:在容錯量子位元(error-corrected qubits)真正普及之前,先建立一套可在吵雜硬體上「可信任」的量子計算框架。
方法一:用不同處理器交叉驗證(IBM × RIKEN × Qedma)
第一個方案是 IBM、日本理化研究所 RIKEN,與以色列公司 Qedma 的三方合作。演算法模擬的是一個稱為 Floquet 過程的物理現象——想像一個因摩擦力而漸漸變慢的單擺,在量子系統中等同於「磁格陣列(Ising model)中的磁矩週期翻轉」。
這是量子模擬經典教科書題:三種不同的模擬路徑(兩個傳統、一個量子)對同一個 Ising 模型給出不同答案,誰對誰錯?
團隊刻意把問題縮小到現有量子硬體能裝下的規模,然後:
- 在 Fugaku 超級電腦(五年前曾是世界第一)上跑兩個不同的傳統演算法。
- 兩個傳統演算法結果出現分歧:一個預測磁矩淨值平滑下降,另一個預測淨值會上升。
- 改在 IBM 量子處理器 上跑(有 Qedma 的錯誤緩解軟體加持),結果顯示出漸降趨勢加上週期振盪——兩個細節,兩個傳統演算法都猜對一半、卻都缺另一半。
- 為了排除「IBM 硬體系統性偏誤」,團隊再用 Quantinuum 處理器(不同硬體)獨立跑一次——結果一致。
順帶還挖出一個早期量子演算法的 bug:為了加速,它截掉了產生振盪所需的項,讓結果失真。這種「第三方硬體交叉比對」的作法,第一次讓 IBM 對自己硬體的偏差有了體制外的檢驗機會。
方法二:用 Clifford + T gate 的計算複雜性築牆(IBM × University of Chicago)
第二個合作是 IBM 跟芝加哥大學,做法帶有更濃厚的理論防禦色彩:
- 演算法主體用 Clifford gate(結構性、可經典模擬)。
- 但故意「撒入」少量非 Clifford 的 T gate(具體形式是繞 Z 軸旋轉),因為 IBM Heron 硬體用「虛擬框架追蹤(virtual frame tracking)」實現 T gate,不會額外引入雜訊。
- 關鍵定理是:這個 T gate 組合對經典模擬是平均指數級困難(exponentially hard on average)——所以傳統電腦理論上無法追上。
同時,演算法在主量子位元周圍放了幾個「哨兵位元(peripheral qubits)」,在電路運行中溫和地量測它們是否出錯,一有出錯就把該次結果整批丟棄。代價是有時會誤殺有效結果(旗標讀錯的話),但換來的是一個帶統計保證的結果。
用 IBM Gambetta 的話說:「它結合了困難抽樣問題的廣域輸出統計,與可以被拿來做錯誤偵測和保真度認證的電路結構。」
方法三:用「迴聲」反演揪出雜訊指紋(Algorithmiq)
第三篇是芬蘭 Algorithmiq 自己的論文,思路呼應 Google 的「quantum echoes」演算法:
- 一組 gate 把量子系統推到某個狀態。
- 接著反過來跑同樣的 gate,理論上應回到原點。
- 在反演過程中刻意加上額外操作,讓系統無法完美回到原點,而留下一個「不完美的迴聲」。
- 這個不完美迴聲嘗試用傳統方法模擬需要簡化,不同簡化路徑給出不同結果——本質上逃出經典模擬的射程。
Algorithmiq 的強化做法是把「聽懂雜訊」做到極致:
- 選處理器上最不吵的區域,用鄰近位元判斷哪些計算期間被不當擾動。
- 反覆調整量子位元的控制訊號。
- 主動注入已知噪音、觀察結果偏差的形狀,藉此倒推「移除噪音」後的真實結果。
- 在另一顆 IBM 量子處理器(不同雜訊分布)上重跑整個流程。
- 最後給出一個殘餘錯誤率上界——不可能完全沒雜訊,但量化的錯誤上限是可計算的。
這套流程對應 IBM 官方稿的關鍵字:「noise manipulation(雜訊操作)」與「representative model of the underlying noise(代表性底層雜訊模型)」。
為什麼這件事重要
對一般科技讀者來說,「量子碾壓經典」聽起來像是遙遠的未來。但 IBM 這一輪三篇論文的真正訊號是:量子運算的信任問題,正在從「無解」變成「可以工程化解決」。
三個關鍵意義:
- 「不需要等到容錯量子電腦」也能取得可信結果。 業界普遍預期要等數千顆邏輯位元才有用,而這條路徑在吵雜的硬體上就開始累積可驗證的量子結果。
- 跨公司、跨硬體的交叉驗證開始成形。 IBM、Quantinuum、Quantinuum + RIKEN + Algorithmiq 第一次在同一個問題上跑出可比較、可被外部審核的結果集——不再只是「公司自己說自己做得到」。
- 可重現性提升。 Algorithmiq 同步開源了
monoprop,把自家最強的經典模擬方法公開,任何人都可以用來「挑戰」自家量子優勢結果。這是對量子電腦 P-hacking 質疑的直接回應。
同時別忘了「八個月挑戰期」的數字——這個 IBM Algorithmiq 模擬已經在 Quantum Advantage Tracker 上掛了八個月,至今沒有任何團隊成功以經典方法複製。這是業界第一次用「經過時間壓力測試的可重現性」當作驗收條件。
數據解讀與質疑
這份結果雖然嚴謹,但仍然有幾個讀者必須自己拿捏的環節:
- 三個實驗都「目前沒立即用處」。 Ars Technica 文章直白承認:這些演算法模擬的是「簡化到不能反映真實世界的物理系統」。真正實用——例如預測催化劑或電池電解質行為——仍是 IBM Gambetta 自己口中的**「聖杯(holy grail)」**,還沒到。
- P-hacking 風險未完全消除。即使 IBM + Algorithmiq 把演算法上架接受公開挑戰,「挑戰者沒有足夠動機」「問題被刻意選成對量子友善」等批評依然存在。歷史上 Google 2024 年的量子優勢結果就被中國團隊用更聰明的傳統演算法部分追平過。
- 距離「大規模容錯量子電腦」還遠。 Ars Technica 引用 IBM 內部說法:業界正猶豫是否要在容錯位元成熟前,把公開硬體開放給外界。換言之,今天這個「可信任的量子優勢」仍受限於硬體本身的物理雜訊。
- Algorithmiq 開源
monoprop是利益衝突還是監督機制? 同一間公司既提出量子優勢實驗、又提供擊敗自家實驗的傳統工具,這套雙角色機制能否長期維持學術中立,是後續值得追蹤的觀察點。
整體而言,2026 年 7 月 30 日這波公告不是「量子時代降臨」的號角,而是**「量子優勢工程化」的新篇章**——把研究焦點從「能不能碾壓」轉向「能不能信任」。對產業界而言,這或許比一個戲劇性的 benchmark 數字更實用。
網友熱門留言 (5)