先說:OpenAI 宣布證偽的 ETH 是電腦科學的「指數時間假說」,不是以太坊,對比特幣與以太坊錢包沒有直接威脅。但這個假說確實可能動搖數百篇論文的基礎。
(前情提要:OpenAI 推翻的 ETH 不是以太坊!「指數時間假說」是什麼?)
(背景補充:OpenAI 推翻指數時間假說、解出千禧年楊–米爾斯:三項 AI 科學突破震撼學術界)
再次強調:這次被 OpenAI 宣布證偽的 ETH,是電腦科學的「指數時間假說」(Exponential Time Hypothesis),不是以太坊,對比特幣與以太坊錢包沒有直接威脅。
你是不是也好奇,指數時間假說若真的被證偽,會發生什麼事?下文我們就依序回答三件事:這個 ETH 是什麼、對電腦科學的衝擊多大、加密貨幣錢包會不會受影響?
指數時間假說 ETH 到底在講什麼?
它是 1999 年提出的電腦科學假說,講的是一類邏輯題到底有多難。
這類題目叫 3-SAT:給你一串「或」為條件,例如「甲或非乙或丙」,要找出一組真假填法,讓所有條件同時成立。變數有 n 個,最直接的辦法是把 2 的 n 次方種填法全部試一遍。
三位頂尖科學家 Impagliazzo、Paturi 與 Zane 提出 ETH,主張不會有本質上更快的辦法。MIT 的 Ryan Williams 給的白話版是:3SAT 不可能在 1.000…01 的 n 次方時間內解出,小數點後有幾個零不拘。
OpenAI 和 Anthropic 同一天證偽?
OpenAI 的模型在 10 月 16 日找到反證,10 月 17 日完成 Lean 形式化(Lean 是一種讓電腦逐步檢查數學推導的語言)。OpenAI 的論文給的是決定性演算法,能精確算出任何固定 k 的 k-CNF 公式有幾組解,時間上限的指數部分是 n 除以大約 log n 的平方根,成長速度落在「亞指數」,也就是比指數慢、但比多項式快的範圍。
Anthropic 的論文署名 Claude,由數學家 Levent Alpöge 在台灣時間 10 月 27 日中午於 X 公布。論文寫明,核心演算法由內部 Claude 研究模型在 10 月 16 日找到,耗費 1,400 萬個輸出 token,沒有人類介入,並提到 OpenAI 的內部模型也獨立、同時宣稱證出類似結果。
“The core algorithm was found on October 16 by an internal Claude research model with 14M output tokens and no human input. Anthropic researchers worked with Claude to improve the presentation, resulting in this paper.”https://t.co/rZLajqbVH8
— levent (@__alpoge__) October 27, 2026
不過要注意的是,Impagliazzo、Paturi 和 Williams 三人受邀籌辦公開、獨立的審查,他們在公開信中明說參與不等於背書,目前審查也還沒結束。
對電腦科學的衝擊有多大?
如果成立,衝擊是地基等級的。Anthropic 用 Claude 搜尋文獻,找到超過 800 篇論文至少有一項結果,只在 ETH 或它的強化版(SETH、Gap-ETH)成立下才站得住;OpenAI 也說用到 ETH 的論文有數百篇,橫跨圖論、計算生物學、資料庫與計算幾何。
這些論文裡「某問題不可能比某速度更快」的結論,前提都動搖了。
例子是編輯距離、最長公共子序列這類比對問題。SETH 曾被用來論證它們很難突破平方時間,OpenAI 論文說其中部分下界可能改由「正交向量猜想」支撐,仍有機會成立。反過來,論文推出計數獨立集、著色與完美匹配的亞指數演算法,還有一個電路下界。
Williams 表示,3SAT 是 NP 完全問題,若主張為真,許多 NP 問題都將有更快的演算法,每位電腦科學家都該對 P = NP 的可能性多押一點。注意是「多押一點」:OpenAI 論文自己寫明,結果不代表一般 NP 問題都有亞指數演算法,P vs NP 並沒有被解決。
這個演算法現在能用嗎?
說實話:不能。
Anthropic 論文自己算過門檻:面對子句數是變數 5 倍的 3-CNF 公式,變數數 n 要大於 10 的 10,000 次方,證明出的上限才比窮舉快;只看 n 的版本,要大於 10 的 1 億次方。整套方法在 n 不到 1,000 萬時,大概都沒有優勢。
對照之下,n 達到 100,窮舉就已經算不完。論文結論也很直白:這項結果對實際解題什麼也沒說。Hacker News 上一位自稱 SAT 求解專家的網友則用了「galactic」一詞,意思是演算法漂亮,但尺度大到只在宇宙規模才有意義。
補充:比特幣和以太坊的錢包會攻破嗎?
不會,因為有三個理由。
第一,錢包的安全根本不是建在 3-SAT 上。比特幣與以太坊的簽章靠 secp256k1 橢圓曲線的離散對數問題(ECDSA、Schnorr):已知公鑰,反推私鑰極難。挖礦與地址則靠 SHA-256、Keccak-256 雜湊。這些安全假設從來不是「3-SAT 很難」,也不是 ETH,ETH 倒下,它們一個字也沒動。
第二,「亞指數」不等於被破。亞指數只代表比窮舉快一些,不代表快到能用。RSA 早就面對數域篩法這類亞指數攻擊,業界的因應是把金鑰拉長到 2048 位元以上。
第三,硬把破解寫成 3-SAT 題目,也輪不到這個演算法。照上一節,這個方法在變數數不到 1,000 萬時大概都沒有優勢,若硬按十幾萬個變數去算,耗時遠比直接猜 256 位元金鑰還慢得多。
論文附錄倒有一個密碼學上的例外:理論密碼學裡的「Goldreich 單向函數」候選構造,其「指數級難以反推」的保證不再成立,但對多項式時間的攻擊者仍然成立。這類構造不是比特幣或以太坊在用的東西。
📍相關報導📍
以太坊研究員Justin Drake 警告:AI 可能幾個月內就破解錢包

