實驗室用AI三天證明量子計算重要猜想

金色財經報道，物理超智能實驗室Physical Superintelligence（PSI）表示，其利用一款尚未公開的 Anthropic 模型，在三天內找到了量子計算領域 “阿倫森—安拜尼斯猜想” 的證明。該猜想自2008年提出以來一直懸而未決，涉及量子計算機在何種情況下能夠大幅快於傳統計算機。 PSI 已經公開論文和證明代碼，並稱證明通過了數學證明輔助工具Lean的檢驗。此前研究過這一問題的斯坦福大學學者已閱讀證明並提供意見，但成果仍有待學界進一步獨立審查。這項研究使用的系統由PSI技術人員大衛·圖爾圖裏安（David Turturean）開發，在實驗室自有基礎設施上運行，調用了Anthropic尚未公開的模型。