動察 Beating AI 快訊,OpenAI 剛宣布 AI 推翻了 1999 年提出的指數時間假說(ETH),Anthropic 也公開了 Claude 的獨立研究成果。兩家公司披露的發現日期竟然是同一天:10 月 16 日。
ETH 認為,有些計算問題極其困難,無論演算法怎麼優化,遇到最難的題目時,計算時間仍會隨著問題規模擴大而指數級暴漲。兩家模型分別找到了突破這條限制的亞指數時間演算法,甚至能精確算出 3-SAT 問題有多少種符合條件的答案,而不只是判斷有沒有解。
Anthropic 披露,Claude 在沒有人類中途輸入的情況下,獨立找到了核心演算法,整個研究過程輸出了約 1400 萬 Token。隨後,Anthropic 研究人員才與 Claude 合作整理和完善論文。
雙方目前都已公開論文和 Lean 形式化證明,等待學界進一步核查。