量子電腦這次不只算得比較快，它還能證明自己沒算錯

「量子電腦贏過超級電腦」這句話，過去六年被宣布過好幾次。每一次的爭議也都一樣：外界無法確認它算出來的答案是對的。IBM 與芝加哥大學團隊最新公布的實驗，處理的正是這個難堪的空缺。他們宣稱完成了一項古典電腦跑不動的運算，而且這一次，答案可以被檢查。

速度從來不是唯一的問題

過去幾年，衡量量子優勢的標準工具叫做「隨機電路取樣」（random circuit sampling，簡稱 RCS）。它的邏輯很單純：要求量子電腦生成一種極其複雜的機率分布，複雜到古典電腦無法在合理時間內重現。只要量子機器做得到、古典機器做不到，就算贏。

問題出在驗證。題目越難，要證明量子電腦真的算對就越困難，最後變成不可能的任務，除非你願意先假設這台機器內部運作完全正常。這在科學上是個尷尬的循環：我們用它算出無法驗算的答案，然後用「它應該沒壞」來擔保結果。

「驗證仍然是確立實驗性量子優勢最大的挑戰之一。」共同作者、芝加哥大學電腦科學副教授 Bill Fefferman 說。「這個實驗發展出更好的方法，去刻畫困難量子態在雜訊下的保真度，讓我們更有信心：量子電腦正在解一個計算上確實困難的問題。」

研究團隊沒有繼續在 RCS 上打轉，而是設計了一種有結構的替代方案。關鍵在於他們證明了：這個新結構保有和 RCS 相同的困難度，古典電腦一樣模擬不動；但因為它有結構，運算過程中的錯誤變得可以被偵測。

換句話說，他們把「難到無法驗算」拆成兩件事，保留了難，去掉了無法驗算。這項成果同時也是目前規模最大的邏輯量子運算示範之一，論文已發表於 arXiv 預印本平台。

共同作者、Fefferman 研究群的博士生 Soumik Ghosh 補了一句值得注意的話：「除了強化實驗驗證之外，驗證技術的進展，有機會為下一代量子電腦解鎖實際應用。」

具體數字有助於理解這次的規模。團隊在這場迄今全球最大的錯誤更正示範之一中，成功運行了 70 個邏輯量子位元，並在運算過程中持續保護它們不受錯誤侵蝕。期間執行了 2,415 次邏輯雙位元閘操作與 468 次邏輯 T 閘，這兩個數字是量測量子電路複雜度的標準指標。

「邏輯量子位元」與物理量子位元的差別，是理解量子電腦進展的關鍵。物理量子位元極其脆弱，環境中一點雜訊就會讓它失去量子態；邏輯量子位元則是用多個物理位元編碼出來的、具備錯誤更正能力的單位。能穩定操作 70 個邏輯位元，意義遠大於宣稱擁有幾百個物理位元。

整項運算，IBM 的量子電腦花了約 15 分鐘完成。團隊同時證明，目前主流的古典模擬方法要處理同一個問題，所需執行時間長到不切實際。

IBM 研究院院長、IBM Fellow Jay Gambetta 的說法更為直接：「我們現在確實進入了量子優勢的時代。我們示範了一項超出古典電腦實際能力範圍的量子運算，並且以統計上的信心，為它的執行保真度建立了下界。這個里程碑給了科學家、開發者與企業一個新的基礎，去信任量子電腦。」

「建立下界」這個技術性的說法，其實就是這次實驗的全部重點：不是宣稱「我算對了」，而是證明「我至少對到這個程度」。在科學上，後者才是可以被拿來使用的陳述。

這句話點出了整件事真正的重量。對正在排隊等量子運算的產業來說，包括新藥分子模擬、電池材料設計、金融風險計算，速度從來不是最終障礙。障礙是：當一台你無法檢查的機器給了你一個答案，你敢不敢拿它去做決策。

一個無法驗證的答案，在商業上等於沒有答案。藥廠不會憑一組無法複核的模擬結果推進臨床試驗，材料公司也不會據此蓋一條產線。所以真正把量子電腦從實驗室推向產業的，不會是再快十倍的機器，而是「我怎麼知道它沒算錯」這個問題被解決的那一天。

值得玩味的是，這個困境並不只屬於量子運算。今天所有人都在用的大型語言模型，面對的是結構極為相似的難題：模型給出一個看起來合理的答案，而我們同樣缺乏可靠、可規模化的方法去確認它是對的。人工智慧圈稱之為對齊與可驗證性，量子圈稱之為 verification，兩邊用的詞不同，卡住的地方卻是同一個。

當運算能力跑得比人類的檢查能力更快，可驗證性就會取代效能，成為下一個真正的競爭門檻。這次實驗真正的價值，或許不在它算了什麼，而在它示範了：把「可被檢查」寫進設計裡，是做得到的。

原始報導：Quantum computer completes verified task beyond practical reach of classical simulations，Phys.org，2026 年 7 月
研究單位：IBM、芝加哥大學（University of Chicago）
論文：Simon Martiel et al.，〈Sampling hard circuits with verifiably high fidelity〉，arXiv（2026），DOI: 10.48550/arxiv.2607.25941