OpenAI 稱模型證偽 ETH，預印本已發布待審查上升

先了解這件事AI 綜述

10 月 25 日，OpenAI 的 math GitHub 倉庫發布預印本，標題直接宣稱指數時間假說（ETH）不成立；10 月 26 日 OpenAI 宣布其內部模型證偽了這一理論電腦科學沿用近 30 年的假設。據機器之心報導，針對固定寬度的 CNF 公式，模型構造出確定性亞指數時間演算法，既能判斷是否存在滿足條件的賦值，也能精確計數，執行時間界為 2^{O(n/√log n)}（略去多項式因子），並已完成 Lean 形式化。ETH 由 Impagliazzo、Paturi 與 Zane 在 1990 年代末提出，核心是不存在亞指數時間解決所有 3-SAT 的演算法，數百篇論文依賴它推導計算下界；Impagliazzo、Paturi 與 MIT 的 Ryan Williams 將組織開放、獨立審查。同批 OpenAI 還宣布證明所有維度下的區域性光滑化猜想、為含量子色動力學的四維量子場論建立嚴格數學存在性證明，Greg Brockman 稱其為三項重大科學發現。Hacker News 上的預印本條目僅獲 26 分、3 條評論，公開資訊目前只有 PDF 連結。若證明成立，依賴 ETH 的條件性下界結論及理論電腦科學研究者將受到影響。

AI 根據 2 則報導生成 · 10/27 12:10 更新

本事件熱度走勢

為什麼熱

過去 48 小時，有 2 個獨立來源報導，最近 6 小時新增 1 個。熱度 1.5，熱門榜第 3 名。

熱度以 48 小時內的獨立來源計，同一來源只算一次，每 24 小時權重減半。

事件紀錄

最早報導

10/26 21:59

最近更新

10/27 08:20

同一事件的報導集中在這裡，新的進展會繼續補充。