Anthropic還有大招！
歷史時刻再現：Claude 內部模型攻克了量子計算領域 18 年懸賞猜想。
只用了3天，非公開Claude模型就攻克了自2008年懸而未決的Aaronson-Ambainis猜想！
網友推測：這個內部模型似乎就是非公開版模型Claude Model 4。
定理和推論已完成Lean形式化，量子計算相比傳統計算優越性到底有多少，終於有了答案。
Claude戳破量子霸權迷信
1994年，Peter Shor提出了的肖爾演算法，名震天下。
它可以在多項式時間內分解大整數，而普通計算機面對這個任務則需要指數級時間。
現代加密體系的基石由此被動搖。
肖爾演算法吹響了號角，隨後「量子霸權」（Quantum Supremacy）這個詞席捲了全球科技界與資本市場。
一幅令人血脈賁張的藍圖似乎就在眼前：量子疊加，量子糾纏，指數級加速。
彷彿只要操控好那些脆弱的量子位元，人類就能開啟一場全方位的降維打擊，瞬間踏入算力近乎無限的新紀元。
一種盲目的認知幻覺開始瀰漫：
只要有了量子疊加態，似乎大多數難題，量子計算機也能瞬間遍歷所有可能，實現指數級的暴擊。
還好物理學家和計算機科學家很快意識到：肖爾演算法之所以能產生「指數級碾壓」，是因為整數分解背後藏著強烈的週期性結構。而量子計算機擅長捕捉這種重複的規律。
但如果輸入的數據完全隨機，沒有任何規律與特殊結構，量子計算機還能實現指數級的超越嗎？
2008年，量子計算領域的兩位領軍學者——Scott Aaronson與Andris Ambainis把這個物理與演算法問題，抽象成了純數學問題。
他們將計算機讀取輸入數據的過程比作「觀察」。
經典計算機每讀一位就是看一個確切的「0」或「1」；量子計算機則利用疊加態，能把一次觀察分散在海量狀態上。
兩位學者發現，量子計算機在經過T 次觀察後輸出「是」的概率，本質上可以被嚴格刻畫為一個「有界低階多項式」。
如果能證明這種多項式在翻轉某個變量時必然存在足夠大的變化，即存在具有顯著影響力的變量，就能證明：經典計算機只需要多項式級別的額外代價，就能完美模擬量子計算機的行為。
這就是著名的 Aaronson-Ambainis 猜想。
現在，這一猜想被AI證明，以後可能要稱之為「Aaronson-Ambainis定理」了：
用他們的話說：
量子計算仍有許多未解之謎，但現在，又少了一個。
需要說明的是，量子霸權沒有消失，但這個定理殺死了量子計算的「盲目迷信」，明確了量子優勢的P「合法領地」。
量子計算版奧本海默時刻
這次出手的Physical Superintelligence，不是第一出手——
上個月，他們解決了量子資訊論中五個長期懸而未決的問題。
此前，麻省理工學院的Guy Blanc、Jordan Docter、Carmen Strassle 和史丹佛大學的 Li-Yang Tan解決了該猜想的經典模擬推論的一個特例。
他們一直在閱讀新的證明，認為只是一個「大結果」：
它解決了一個數十年之久的猜想，對於哪些問題能夠實現量子加速這一本質具有重要啟示。
這次研究涉及布林函數分析和機率組合中的若干研究方向。
而這次的證明，也絕非「鸚鵡學舌」，絕不是簡單的檢索一下文獻就解決了問題，而一種「相當奇妙的方式」匯聚了所有內容內容。
或許，人類多個領域專家合作也能最終證明這個猜想，但 AI 的速度人所難及！
據介紹，以 Anthropic 內部模型為核心的Harness系統搭建完成後，三天後就完成了第一個證明。
隨即被送入 Lean 證明助手中接受檢驗。
但這還沒完。
當模型實例被要求借助這些中間結果去攻克懸而未決的難題時，它們反過來打磨了這些中間結果，將指數從 22 壓到 11，再到 7，不斷下賤。
這也是發現過程本身的縮影：證明不是一蹴而就的靈光，而是在中間結果的反覆打磨中，一步步逼近最優的邊界。
物理學與數學依然寬廣，宇宙依然浩瀚，需要人類探索的未解之謎依舊恆多。
但有一件事已經確定無疑：
探索的理性疆域的那支探險隊裡，如今不再只有人類自己煢煢孑立，形影相弔。
參考資料：
https://psi.inc/research/oqp-batch-2026/
https://psi.inc/research/aaronson-ambainis/
本文來自微信公眾號「新智元」，作者：ASI啟示錄
