OpenAI 宣稱推翻計算複雜度基石「指數時間假設」 學界謹慎展開審查

根據媒體報導，OpenAI 於 10 月宣稱旗下 AI 系統在理論科學領域取得進展，其中最受關注的是宣稱推翻了計算複雜度領域的核心基石「指數時間假設」（Exponential Time Hypothesis，簡稱 ETH）。傳統 ETH 主張 3-SAT 問題無法在次指數時間內解決，全球有數百篇論文曾以此假設為前提；OpenAI 則稱其證明提出了一種運算速度略快於指數時間的新演算法，並已透過形式化數學語言 Lean 完成機械化驗證。目前加州大學聖地牙哥分校教授 Russell Impagliazzo、Ramamohan Paturi 及麻省理工學院教授 Ryan Williams 已組成小組展開審查。Williams 澄清參與審查不代表為研究背書，亦尚未正式認證其正確性。此外，學界對於短時間內湧入大量需人力檢驗的 AI 生成研究成果反應不一，真實有效性仍待完全公開透明的同行檢驗。

值得帶走的重點

• OpenAI 宣稱 AI 系統推翻了計算複雜度的「指數時間假設」（ETH），並稱提出運算速度略快於指數時間的演算法。
• 該證明宣稱由自然語言推導並以 Lean 形式化驗證，目前由 ETH 原提出者等學者組成的小組進行審查。
• 審查學者 Williams 強調參與審查不等於背書其正確性；學界對大量湧入且需人力檢驗的 AI 成果抱持謹慎態度。