Anthropic 論文聲稱內部 Claude 模型也推翻了指數時間假說

一篇刊登於 hexagonmath.org、標示由 Anthropic 於 2026 年 10 月 27 日提交的預印本，聲稱提出一種針對 n 個變數 3-SAT 的確定性演算法，執行時間為 2^o(n)，若屬實，將推翻指數時間假說（ETH）。論文指出，該演算法也能解決更難的 #3-SAT 問題（計算滿足條件的指派數量），並稱此結果已在 Lean 4 中形式化。

根據論文的來源說明，一個內部 Claude 研究模型於 10 月 16 日在沒有任何人類輸入的情況下，使用 1,400 萬個輸出 token 找到核心演算法；之後 Anthropic 研究人員與 Claude 合作改善論文呈現方式。論文還補充，一個 OpenAI 內部模型聲稱獨立且同時證明了類似結果，並引用 OpenAI 於 10 月 26 日發布的預印本。以上皆為作者的說法，尚未經獨立查證。

這篇論文曾在 Hacker News 分享（截至 10 月 27 日有 22 分、6 則留言），其中一名留言者指出，聲稱的發現日期與 OpenAI 的相同。