Anthropic神祕模型攻克量子計算重要猜想，困擾數學界近20年的難題解決了

BiRun 訊，AI 研究公司 Physical Superintelligence（PSI）宣布，借助 Anthropic 一款尚未發布的模型，証明了困擾數學界近 20 年的 Aaronson–Ambainis 猜想。AI 在運行第三天就找到了完整証明，並通過 Lean 數學驗証工具的檢査。

這項猜想由兩位科學家在 2008 年提出，研究的是量子計算機的速度優勢究竟有多大。

量子計算機在處理某些問題時，可能比普通計算機快上億倍。比如分解一個特別大的整數，普通計算機用已知算法可能需要極長時間，量子計算機則有望大幅縮短計算時間。但這種鉅大優勢通常依賴問題本身存在某種數學規律。

這次 AI 証明，如果輸入的數據完全隨機，沒有可利用的特殊規律，那麼對於只需要回答「是」或「否」的問題，量子計算機就無法在讀取數據的次數上取得指數級優勢。

比如要從海量隨機數字中判斷一個結果，量子計算機可以利用量子疊加，一次査詢涉及多個位置。普通計算機雖然每次只能讀取一個位置，但只要知道量子算法的判斷規則，就能優先檢査那些最影響結果的數字，用相對有限的査詢次數，近似預測量子計算機的答案。

此前，數學家已經知道某些特殊情況下可以做到這一點，卻一直無法証明這條規律普遍成立。PSI 這次完成了完整証明，也解決了一個延續近 20 年的理論問題。

消息傳出後，華盛頓大學敎授 Pedro Domingos 甚至認為，量子計算優勢的夢想已經破滅。

猜想提出者之一 Scott Aaronson 隨後指出，這種理解是錯的。研究限製的只是特定問題中量子計算機能節省多少次數據査詢，並沒有否定量子計算機的實際運算速度優勢。用於大整數分解的 Shor 算法，以及量子物理、化學模擬，都不受影響。

Aaronson 表示，自己還沒完全讀懂這份証明，但 Lean 已經完成檢査，也有其他數學家審閱過，因此他相信結果正確。…

信源

動察 Beating 頻道 · 動察 Beating 交流羣。