哪些已解決,哪些還沒有
我們先從一份誠實的成績單說起。在已解決的那一邊,基礎物理是真實且可重現的。我們能用超導電路、離子阱以及其他平台造出量子位元;我們能讓它們處於疊加態、在它們之間製造糾纏,並執行小型量子電路,其行為與數學預測分毫不差。我們已經親眼見到Shor 演算法分解了很小的數、Grover 演算法搜尋了很短的清單。理論是站得住腳的,這些都毫無疑問。
而在未解決的那一邊,坐著真正重要的那件事:在人們真正在意的問題上,做出某件真正有用、且比任何古典電腦都更快或更好的事情。這一步仍在我們前方。今天的機器既嘈雜又規模小——這就是 NISQ 時代,在一段較長的計算完成之前,退相干就把你的量子態攪亂了。我們有令人印象深刻的展示,但我們還沒有一台量子電腦,能在某個實際重要的問題上做得比古典方法更好。形容我們當下處境的誠實詞彙是「有前景」,而不是「已證實」。
時間表與炒作週期
每當有人自信地給你一個具體年份——「量子將在 20XX 年攻破加密」或「有用的量子計算還有五年」——把它當作一個穿著西裝的猜測。事實是沒有人知道時間表,因為剩下最難的問題都是工程問題,而我們還無法精確衡量它們的難度。進展可能會突然加速,也可能因為某個頑固的雜訊源停滯十年之久。這兩種情況在別的技術裡都發生過。
把兩個炒作最愛混為一談的說法分清楚會很有幫助。第一個是量子霸權(有時也叫「實驗室裡的量子計算優勢」):一台機器在某項任務——往往是人為設計的任務——上做得比古典硬體更快,僅僅為了證明硬體越過了某條線。這類成果已被宣稱過幾次,其中一些後來被更聰明的古典演算法追平了。第二個標準要高得多,那就是有用的量子優勢:在一個真實的人確實想解決的問題上擊敗古典方法。第一個可以說已經發生了;而第二個,老實說,還沒有。
容錯這個里程碑
如果有一個里程碑能把「很酷的展示」和「改變世界的機器」區分開,那就是容錯。物理量子位元很脆弱;它們失去相干性、累積錯誤的速度,比大多數有用演算法所能容忍的還要快。解決辦法是量子糾錯:把一個可靠的邏輯量子位元的資訊分散到許多物理量子位元上——採用像表面碼這樣的方案——這樣在你計算的同時就能偵測並糾正錯誤。
這裡有個誠實的陷阱,被閾值定理所概括:只有當你的物理閘保真度好到足以越過某個閾值時,糾錯才會真正幫上忙——對於表面碼,這個閾值大約是每次操作 1% 的錯誤率。低於這條線你就贏了;高於它,增加量子位元反而只會增加更多錯誤。如今在某些硬體上,我們已經接近或越過了這個閾值,這是實實在在的進展。但開銷極其殘酷:單個容錯邏輯量子位元可能需要數百到數千個物理量子位元,而一台有用的機器需要許多邏輯量子位元來執行深層電路。這正是仍在攀登的那座大山。
現在誰該關注
那麼,今天到底誰該認真關注,而誰又可以過幾年再回頭看看?最清晰的例子是密碼學家和安全規劃者。未來一台執行 Shor 演算法的容錯機器,將能攻破保護著當今大部分網際網路的 RSA 與橢圓曲線加密。威脅還沒到來,但今天被竊取的資料可以被存起來、日後再解密——所以向後量子密碼學(專門設計來抵禦量子攻擊的古典演算法)的遷移現在就在進行,而且這是正確的決定。
第二個清晰的群體是化學家和材料科學家。模擬量子系統——分子、反應、新型材料——正是量子電腦天生擅長的那類問題,而量子模擬被廣泛認為是最有可能率先出現一個真實、誠實優勢的地方。研究人員已經在今天這些嘈雜的機器上探索像 VQE 和 QAOA 這樣的近期方法——它們有助於學習,儘管還沒有擊敗最好的古典化學工具。如果這是你的領域,那就值得密切關注。
而對於幾乎所有其他人——大多數軟體工程師、企業以及好奇的學習者——誠實的建議是:理解它,但別拿你的路線圖去押注它。你不需要為量子重寫你的技術棧,而且你應該對任何兜售「量子驅動」消費品的人保持懷疑。學習真正的概念(你現在已經做到了)是價值最高的一步;其餘的,可以等硬體配得上它的時候再說。
一個腳踏實地的結論
坦白地說,這就是我們如今所處的位置。量子計算是科學中最激動人心的構想之一,而工程上的進展是真實的——糾錯正朝著正確的方向彎曲,硬體不斷改進,Shor 與模擬背後的理論也很扎實。但與此同時,今天並沒有大規模容錯量子電腦,也還沒有已證實的有用優勢,更沒有任何誠實的辦法能向你承諾其中任何一個的日期。
正確的姿態既不是炒作,也不是不屑——而是腳踏實地的耐心。這是一項著眼長遠的技術,在未來幾十年裡也許會悄然重塑化學、材料和安全,同時讓計算的大部分領域保持原樣。你現在已經懂得足夠多,能從雜訊中分辨出訊號:下一個讓人喘不過氣的標題出現時,你可以問一句「對什麼有用,又是跟什麼相比——而且它容錯了嗎?」然後自己作出判斷。這種清醒的好奇心,比任何預測都更重要,正是這個領域所需要的。