ETH被AI攻破：科學家要失業了？

前幾年 AI 剛學會寫代碼、修 Bug 的時候，大家都在圍觀：程序員會不會失業？

程序員擦着汗說：「沒事，AI 只是個無情的搬磚工具，頂層架構和前沿理論還得靠我們人類大腦。」

結果這才過去沒多久，AI 已經開始挑戰科學家信了近 30 年的理論底座。

這篇讓學術圈集體揉眼睛的論文，標題很粗暴，就差把嘲諷拉滿了：

《指數時間假說是錯的》（The Exponential Time Hypothesis is False）。

被它盯上的這根「承重柱」，簡稱 ETH。

不過先別急着去拋售你的虛擬貨幣——這裡的 ETH 不是以太坊，而是計算機理論界威名赫赫的「指數時間假說」（Exponential Time Hypothesis）。

那人類科學家真要捲鋪蓋走人了嗎？我們先從一場讓人想絕交的「微信群聚會」說起。

01 一道讓全宇宙電腦原地爆炸的「聚會難題」

假設你要拉個三人小群辦聚會，群里有：

A：小王

B：小李

C：小張

每個人要麼來，要麼不來。但他們全是一身毛病的「甲方型朋友」，提出了三條擰巴的條件：

條件一：小王來，或者小李不來，或者小張來。

條件二：小王不來，或者小李來，或者小張來。

條件三：小王來，或者小李來，或者小張不來。

你的任務是：能不能給出一套出勤方案，讓這三條要求同時被滿足？

這很容易，比如讓三個人都來。

大家一核對，三條要求各有一條命中，皆大歡喜。

這就是計算機史上最著名的難題模型之一：3-SAT 問題。

3 個人太容易了，因為所有可能的情況就 23=8 種，就算你腦子轉得慢，拿張草稿紙全列出來盲猜一遍也就兩分鐘。

但如果聚會群擴大了呢？

每多拉一個人進群，可能性就翻一倍。這種令人絕望的增長，就是「指數爆炸」。

02 科學家相信了 30 年的「擺爛公理」

面對指數爆炸，科學家過去三十年裡絞盡腦汁。

最笨的辦法是窮舉，算 2n 次；聰明一點的數學家折騰出精妙算法，把運算量壓到 1.3n 次。

但不管底數是 2 還是 1.3，它們都有一個致命弱點：只要 n 稍微大一點，宇宙毀滅前都算不完。

於是 1999 年，兩位計算機大佬 Russell Impagliazzo 和 Ramamohan Paturi 提出了一個假說：

這個假說就是 ETH。

雖然從沒人從數學上絕對證明它成立，但這三十年來無數頂級腦袋撞得頭破血流也沒找到破局方案。久而久之，大家默認它就是現實：

研究圖論的寫道：「如果 ETH 成立，這個問題絕不可能有更快算法……」

搞數據庫的寫道：「基於 ETH，某類查詢至少需要耗費……」

數百篇世界級論文直接把它當成了免死金牌和底層地基——房子已經蓋到十層樓高了，誰也沒想過地基有天會讓人給刨了。

03 AI 沒掀翻大門，但它順着通風管鑽了進去

2026 年 10 月，OpenAI 給計算機理論界扔下一顆重磅炸彈。

一篇名為《The Exponential Time Hypothesis is False》的論文，提出了一種新的 3-SAT 算法，聲稱實現了此前難以想象的時間複雜度：

2^o(n)，也就是亞指數時間。

什麼意思？

原本 ETH 認為，解決 3-SAT 問題，在最壞情況下逃不開指數級時間代價。

但新算法試圖打破這一限制：

隨著問題規模 n 增大，算法指數部分相對於 n 的增長比例逐漸趨近於零。

打個比方：

以前： 面對一本比銀河系還厚的密碼本，只能一頁頁翻，最多翻得快一點。

現在： AI 參與提出的方法利用代數結構和多項式插值等工具，試圖繞開傳統的暴力搜尋。

雖然不是「一秒破解」，但如果證明成立，就意味著：

人類以為焊死的理論鐵門，旁邊居然藏着一條通風管。

更關鍵的是，這次 AI 不只是隨口給答案。OpenAI 還藉助 Lean 形式化證明系統，對相關定理進行了機器檢查。一份足以挑戰近 30 年理論假說的研究成果，已經擺到了科學家面前。

04 三個人人都在問的「靈魂誤解」

1. 以太坊和比特幣要歸零了？想多了

這裡的 ETH 是指數時間假說，跟以太坊只是撞了名字。

區塊鏈主要依賴橢圓曲線密碼學和哈希函數，這篇論文並不意味著加密貨幣的密碼系統被攻破。

2. 這算證明了 P = NP？早着呢！

如果 P=NP 相當於發明了「瞬移傳送門」，這次突破更像是發現了一輛「共享單車」。

速度可能快了不少，但距離瞬移還有十萬八千里。

3. 以前基於 ETH 的論文全成廢紙了？

不至於，但部分結論可能需要重新審視。

原來的邏輯是：「如果明天下雨，運動會就取消。」

現在發現不會下雨，不代表運動會一定能開。

同樣，ETH 如果被推翻，並不意味著那些問題突然都有了高效算法，只是原有的條件性結論需要重新尋找依據。

05 所以，科學家真的要失業了嗎？

這場突破最魔幻的，還是它的誕生過程。

根據 OpenAI 公開的研究過程：

10 月 16 日： AI 生成核心算法及自然語言證明。

10 月 17 日： 團隊進一步形式化關鍵證明，並用 Lean 進行機器檢查。

隨後： 研究成果公開，理論計算機科學界開始參與審查與討論。

有意思的是，OpenAI 還邀請了當年提出 ETH 的科學家參與後續審查。

想象一下：1999 年，你提出了一個理論假說，此後近 30 年，無數研究者圍繞它建立理論體系。

結果到了 2026 年，AI 突然遞來一份反證。

而你還得親自檢查，它到底有沒有推翻自己當年的判斷。

那科學家以後幹嘛？

答案可能是：從親自尋找每一條證明路徑，轉向與 AI 一起探索未知、驗證結果，以及判斷研究的真正價值。

畢竟，AI 可以幫忙尋找證明，但什麼問題值得研究？一個突破究竟意味著什麼？下一步又該往哪裡走？

這些問題，依然需要人類科學家來回答。

當然，話說回來。

前幾年，程序員還在擔心 AI 搶飯碗，科學家多少還能淡定地看熱鬧。

誰能想到，短短幾年後，AI 不僅開始寫代碼，連數學證明都要插上一腳。

程序員回頭一看：喲，科學家也上車了？

看來 AI 時代這輛過山車，誰也別想提前下車。

參考資料

OpenAI：《Building scientific understanding with academic communities》（2026 年 10 月 26 日）

論文：《The Exponential Time Hypothesis is False》（2026 年 10 月修訂版）

來源：金色財經

發佈者對本文章的內容承擔全部責任
在投資加密貨幣前，請務必深入研究，理解相關風險，並謹慎評估自己的風險承受能力。不要因為短期高回報的誘惑而忽視潛在的重大損失。