AIがETH仮説を反証、数十年の研究が無効に
原題: An AI Breakthrough Has Made Decades of Computer Science Research ‘Irrelevant’
なぜ重要か
ETH反証が確定すれば、アルゴリズム設計・暗号理論・最適化など広範な分野の前提が覆り、AI主導の数学的発見が学術研究の方法論そのものを変える転換点となる。
2026年10月、OpenAIとAnthropicがそれぞれ「指数時間仮説（ETH）」を反証したと発表した。ETHは計算複雑性理論の根幹を成す27年来の仮説で、これに基づく膨大な理論計算機科学の研究が影響を受ける。両社はGitHubに自然言語とLean形式の機械検証可能な証明を公開しており、研究者コミュニティが独立検証を急いでいる。
OpenAIとAnthropicは今週、計算複雑性理論の中心的仮説である「指数時間仮説（Exponential Time Hypothesis, ETH）」を、AIが生成した証明によって反証したと相次いで発表した。ETHとは、特定のクラスの問題を解くのに要する計算量が問題サイズに対して指数的に増大するとした仮説で、1999年に提唱されて以降、アルゴリズム設計や複雑性理論の研究の土台として広く使われてきた。
Linköping大学のPeter Jonsson教授は、2週間後に開催されるIEEE Symposium on Foundations of Computer Science（FOCS）で自身の研究が発表される予定だったが、「月曜日の時点で研究の大半が死んだ」と語る。「『ETHは偽だ、自分の論文の半分は成立しない』という形で発表が始まるだろう」と述べ、同様の状況に置かれる研究者が多数出ると予測している。
UC Santa Barbara教授のDaniel Lokshtanovは、ETHを最初に提唱した研究者の一人。この結果が確認されれば「銀河規模で間違っていたことになる」とし、自身の発表論文約50本が「無意味」になるか再検討が必要になると見積もる。「フィールドの真ん中に巨大な爆弾が落とされたようだ。格好いいと同時に最悪でもある」と表現した。
コペンハーゲンIT大学アルゴリズム研究グループ長のThore Husfeldt氏は、今年のほぼ全期間を一つの問題に費やしてきたが「今となってはすべて無意味に思える」と話す。一方で彼は暗澹とはしていない。「数学者であることは暗闇の部屋を手探りで歩くようなもの。今や一つのサブフィールド全体が知識の投光器で照らされた。ウサギのように興奮して走り回り、突然探索できるようになった隅々を見ている」と前向きな姿勢を示した。
両社はGitHubに証明を自然言語とLean形式の両方で公開済み。OpenAIはUC Santa BarbaraやMITの研究者を中心に検証チームを組成中で、Googleフォームでボランティアを募集するほか、関連カンファレンスへの資金提供も約束している。証明の独立検証にはまだ至っていない。