OpenAI發佈了一篇67頁的論文，聲稱其AI已找到繞過“指數時間假設”（ETH）的方法。該假設是1999年提出的計算機科學猜想，與以太坊（Ethereum）無關，但數百篇研究論文依賴它來證明圖論、計算生物學、數據庫和幾何學中的問題無法快速解決。OpenAI表示，其AI在10月16日發現了這一反駁，並於10月17日通過Lean軟件形式化驗證。此舉引發了加密社區的廣泛關注和討論。