「OpenAIがETHは偽であることを証明した」という研究を見たかもしれない。深呼吸して。面白いように聞こえるが、これはEthereumとは何の関係もない。ここで言うETHは、2001年に提唱された、コンピュータ科学における最も難しい問題の難易度に関する仮説、指数時間仮説（Exponential Time Hypothesis）だ。 簡単に言えば、SATという教科書的な難問がある：長い論理式を提示し、それを真にする値を見つける。これまで誰もが、2^n通りの組み合わせをすべて試すのが唯一の方法だと仮定してきた。数百もの「このタスクはSATと同じくらい難しい」という結果が、この仮定に基づいている。 OpenAIのモデルは、2^nよりはるかに速くSATを解くアルゴリズムを含む67ページの論文を執筆した。この結果が正しいとすれば、この仮説は覆され、多くの理論が書き換えられることになる。形式的検証が公開され、現在、トップレベルの複雑性理論家3人が検証中だ。
