PSI 用非公開 Anthropic 模型攻克阿倫森-安拜尼斯猜想：量子計算 18 年懸案告破
PSI 團隊藉助非公開的 Anthropic 模型與 Lean 驗證器，僅用 3 天便完整證明了懸而未決 18 年的阿倫森-安拜尼斯猜想。該定理正式確認量子計算機處理無規律隨機資料時無法實現指數級加速，徹底為量子計算劃定了嚴格的數學邊界。
PSI 團隊藉助非公開的 Anthropic 模型與 Lean 驗證器，僅用 3 天便完整證明了懸而未決 18 年的阿倫森-安拜尼斯猜想。該定理正式確認量子計算機處理無規律隨機資料時無法實現指數級加速，徹底為量子計算劃定了嚴格的數學邊界。