
你可能看過「OpenAI 證明 ETH 是假的」這項研究。放輕鬆。雖然聽起來很搞笑,但這裡的 ETH 並非以太坊,也與 Ethereum 無關。這裡的 ETH 指的是「指數時間假設」(Exponential Time Hypothesis),這是 2001 年提出的一個假設,探討電腦科學中最困難問題的難度。 簡單來說,有一個教科書級的難題叫 SAT:給出一個長長的邏輯公式,找出讓它為真的變數值。大家一直假設唯一的方法是嘗試所有 2^n 種組合,差不多就是這樣。數百項「此任務與 SAT 一樣困難」的結論都建立在這個假設之上。 OpenAI 的一個模型寫了一篇 67 頁的論文,提出了一種演算法,能顯著快於 2^n 的速度解決這個問題。如果這項成果成立,該假設將被推翻,許多理論也將被重寫。目前正式驗證已發布,三位頂尖複雜性理論學者正在審核中。
