【23 Daily 綜合報導】據 techcrunch.com 報導，創業實驗室 Physical Superintelligence（PSI）的成員、大學剛畢業的 David Turturean 利用尚未公開的 Anthropic AI 模型 Fable 5.2，解決了量子計算領域中一個追求近 20 年的重要問題──Aaronson-Ambainis 猜想。

解決近二十年量子計算核心難題

這項由 Scott Aaronson 和另位研究者提出的問題，主要探討量子電腦是否能比經典電腦更快解決某類難題。Turturean 利用 Anthropic 未公開模型，在 PSI 的協助下自動形式化了該問題證明並由多位頂尖研究者驗證。Aaronson 表示雖不完全理解證明細節，但因證明使用 Lean 程式語言撰寫並獲專家解說，他認為結果屬實。

推動量子計算科研方向明確化

該證明限制了量子電腦在某條路徑以高速解決困難問題的可能性，為量子計算研究劃清範疇，避免重複探索已證定無效的途徑。Turturean 說：「這是負面結果，但讓研究界明確知道該路徑已不可行。」

PSI透過專業AI模型推動科研革新

PSI 執行長 Matt Pines 表示，他們除了開發專門的模型和工具架構外，也將人工智慧應用於數據中心優化，模擬熱、電力、水資源和聲音等物理參數。未來目標則是將理論物理突破轉化為實際應用技術。

編輯觀點：AI科技助力科學突破與實驗驗證並行

雖然 AI 在數學及電腦科學領域已取得可用程式碼驗證的重大突破，科學家們對如何在像物理這種更貼近現實世界的學科中結合 AI 結果與實驗驗證仍在摸索中。PSI 採用與相關領域專家共享解題成果的透明作法，符合學術道德與推動業界共識。創業者可留意如何將 AI 專業模型與多方協作結合，開發可加速基礎科學及工程應用的創新技術，並配合實際實驗反覆驗證成果。