OpenAI 宣布模型破解指數時間假設

ChainCatcher 消息，OpenAI 日前宣布，其 AI 模型破解了計算機科學中沿用二十多年的猜想指數時間假設，英文簡稱 ETH，並非以太坊。該假設關注特別難算的問題到底有多難，並以布爾可滿足性問題 SAT 為例：給定一組邏輯條件，是否存在一種賦值使所有條件同時成立。問題規模變大時，已知最好辦法基本只能逐個嘗試可能答案，時間開銷隨規模呈指數增長。指數時間假設進一步斷言，這類問題本質上無法被大幅加速，不存在真正意義上的亞指數時間高效算法。

該假設自 1999 年提出以來，一直是理論計算機科學的重要基石，大量論文基於它證明某些問題很難、某些算法已接近最優。若指數時間假設被推翻，意味著許多被認為幾乎不可能更快的問題，理論上或許存在更好解法。OpenAI 聲稱，其模型找到一個確定性算法，能在亞指數時間內精確統計 k-SAT 問題的解的數量，並用 Lean 進行了形式化驗證。若該結果最終經得起專家審查，將直接動搖指數時間假設。