PSI公開量子計算難題證明，現有營收來自資料中心最佳化工具

物理超級智慧（Physical Superintelligence，PSI）以人工智慧（AI）研究系統提出量子計算難題「亞倫森－安巴尼斯猜想」的證明；公司目前的營收來源則是資料中心最佳化工具，而非理論物理研究。

TechCrunch訪問PSI執行長馬特·派恩斯（Matt Pines）與研究人員大衛·特圖里安（David Turturean）後報導，PSI透過分析資料中心的熱能、電力、用水與噪音條件的工具創造營收。派恩斯則將把理論物理研究成果轉化為實用技術列為長期目標。

PSI於9月宣布成立時表示，核心平台「Emmy」將用於地面與軌道資料中心的最佳化。公司尚未公布這次證明是否帶來營收，或為資料中心客戶創造了哪些成效。

亞倫森－安巴尼斯猜想討論的是：在離散立方體上定義的有界低次多項式，若變異數達到一定程度，是否存在一個對結果有重大影響的輸入變數。換言之，這項猜想探討單一輸入變數會在多大程度上影響結果。

這項猜想也與一類量子計算問題有關：在輸入隨機的「是或否」查詢問題中，量子電腦能否比傳統電腦以指數級較少的讀取次數取得結果。此次成果涵蓋的範圍限於這類特定查詢問題。

PSI表示，公司的研究系統運用Anthropic未公開的模型完成證明。系統啟動研究後第三天產出完整證明，並通過Lean證明驗證程式的檢查。

PSI表示，團隊之後兩度改進結果，最終版本也通過Lean檢查。特圖里安的論文已刊載於arXiv，證明程式碼則公開於程式碼儲存庫。

PSI將這項猜想描述為自2008年以來的難題。提出猜想的史考特·亞倫森（Scott Aaronson）與安德里斯·安巴尼斯（Andris Ambainis）於2009年將原始論文上傳至arXiv。

亞倫森8日在個人部落格表示，自己還沒有親自理解這份證明，但「相信證明是正確的」。他說，Lean驗證結果與專家提供的審查意見，是他信任這份證明的依據。

亞倫森也表示，不能把這項成果解讀為量子電腦的整體優勢不復存在。它並未否定Shor演算法，也沒有否定量子電腦在量子物理或化學模擬上的效能。

PSI公告指出，史丹佛大學研究人員已閱讀證明並提供意見，團隊正準備面向專家的解說。形式驗證與研究人員審閱，在確認證明的過程中各有不同作用。

佩德羅·多明哥斯（Pedro Domingos）在X上主張，這項結果意味量子優勢的可能性已告終；亞倫森則反駁，這種解讀言過其實。

TechCrunch報導，PSI曾提前取得Anthropic的Fable 5.2模型並使用。PSI公告並未指明模型，只稱其為「Anthropic未公開的模型」；Anthropic於9日公開Claude Fable 5.2。

論文與證明程式碼已公開，且通過Lean檢查，但這與學術期刊的同儕審查是不同程序。目前尚未確認論文是否完成期刊同儕審查。