2026年10月26日、OpenAIはGitHubリポジトリに67ページの論文原稿をコミットした。その表題は極めて直接的である——『The Exponential Time Hypothesis is False（指数時間仮説は偽である）』。著者欄に記された名は「OpenAI」のみ。そしてこの草稿には、Leanによる完全な機械検証済み形式化証明スクリプトが添付されていた。
理論計算機科学において数百本におよぶ計算量下界論文の土台となってきた27年来の仮説が、決定性アルゴリズムによって正面から打破された。しかし今回、OpenAIは単独での技術的勝利宣言を避けた。研究室は仮説の提唱者本人たちを招請し、独立した専門家レビュー体制の構築を委ねたのである。最前線の理論研究において、人間は再び「理解と審定」の門番としての役割を担うことになった。
決定性アルゴリズムが3-SATの計算量を準指数時間に圧縮
指数時間仮説（ETH）は、1999年にラッセル・インパリアッツォ（Russell Impagliazzo）とラマモハン・パトゥリ（Ramamohan Paturi）によって提唱された。3-SAT問題を解くには最悪ケースで $2^{\Omega(n)}$ の指数時間を要するという主張である。過去四半世紀以上にわたり、計算量理論はこの仮説を前提として強固な条件付き計算量下界の体系を構築してきた。多数のNP完全問題に準指数時間アルゴリズムが存在しないという判断は、すべてこの理論的防衛線に依存していた。
OpenAIの論文に示された主定理（Theorem 1.1）はその前提を根底から書き換える。任意の固定された $k \ge 2$ に対する $k$-CNF 論理式について、充足解の数を厳密に数え上げる決定性アルゴリズムが存在することを証明した。計算時間は $(n+m)^{O_k(1)} \cdot 2^{O_k(\sqrt{n \log \log n / \log n})}$ と評価され、節密度が $m \le Dn$ を満たす条件下では、この上界はさらに $2^{O_{k,D}(\sqrt{n/\log n})}$ へと収束する。
図：OpenAI単独名義のアブストラクトと主定理。準指数時間の上界を提示し、指数時間仮説の反証を宣言している。出典：GitHub（openai/math リポジトリ）
アルゴリズムが達成した計算量上界は厳密に $2^{o(n)}$ であり、ETHが想定していた指数障壁を数学的定義の上で直接瓦解させた。**重要なのは、この決定性アルゴリズムが充足可能性の判定にとどまらず、多項式空間内で充足解の厳密な数え上げ（Counting）を完結させている点である。**代数的構造を利用してブール制約を解くアプローチにより、従来の組み合わせ的探索が抱えていた計算時間の壁を回避した。
新アルゴリズムの技術的骨子は、厳密カウント、疎なパリティ検査、そして多項式補間の融合にある。その構造の中核を担うのが「共有線形スケッチ」と低次多項式置換である。この枠組みからは数々の系が導出される。例えば Max-$k$-SAT は準指数時間内で $OPT(F) - \varepsilon m$ の精度で近似可能となった。
グラフ理論における多くの難問の下界仮説も連鎖的に崩れている。独立集合の数え上げや固定色数のグラフ彩色問題は $2^{o(v)}$ 時間に抑え込まれ、完全マッチングの厳密カウントも決定性条件下で $2^{o(v+e)}$ へと短縮された。ETHに依存して成立していた一連の条件付き困難性の境界が一挙に失効し、学会は微細計算量（Fine-grained Complexity）の真のフロンティアの再測定を迫られている。
理論的境界の画定：新アルゴリズムは多項式時間帰着を越えられない
計算量仮説が揺らぐと、安易な概念の混同が生じやすい。草稿公開直後、コミュニティ内では「このアルゴリズムは P=NP を意味するのではないか」という憶測が飛び交った。これは準指数時間境界の推移性に対する誤解に起因する。こうした混乱に対し、論文の第2ページでは冷静な理論的釈明がなされている。
図：論文第2ページに記載された主定理と計算時間上界。この準指数時間境界は多項式時間帰着を通じてNP全体へ伝播するものではないことが明記されている。出典：GitHub（openai/math リポジトリ）
原稿では、$2^{o(n)}$ という計算時間界は標準的な多項式時間帰着を経由して伝播しないことが明記されている。NP問題全体へ拡張するためには、より厳しい $2^{n^{o(1)}}$ の形が必要とされる。本成果は「P対NP問題」の解決とは無関係であり、OpenAIも草稿内で P=NP に関する主張は一切行っていない。
研究チームはこの草稿を「生の一次研究データ（raw research data）」と位置付けている。Leanリポジトリには機械検証可能な完全な証明スクリプトが含まれているものの、形式記号が論理的に正しいことと、人間がその数学的メカニズムを直観的に理解できることとは同義ではない。共同体が咀嚼できる直観的モデルへと変換するには、人間の数学者による解釈が不可欠である。
形式化ツールは、論理の最下層において論理の飛躍がないことを保証する。しかし、なぜ特定の多項式補間の組み合わせが機能するのかという「洞察」は与えてくれない。**機械による証明は論理的欠陥を排除できても、アルゴリズムの本質的な直観を自発的に生成することはできない。**人間の数学者が担う認知的役割の重要性は、むしろ高まっている。
仮説の創始者を招きレビューの主導権を委ねる
従来の派手な製品発表とは対照的に、OpenAIは単独で突破をアピールするPR手法を退けた。成果公表と同時に、原稿の信憑性を包括的に審査するための極めて格式の高い外部査読主幹リストを発表したのである。中核メンバーにはラッセル・インパリアッツォ、ラマモハン・パトゥリ、そしてライアン・ウィリアムズ（Ryan Williams）が名を連ねている。
この人選は極めて的確である。インパリアッツォとパトゥリは1999年にフランシス・ゼーン（Francis Zane）とともにETHを提唱した張本人であり、ライアン・ウィリアムズは回路下界技法を用いて強指数時間仮説を打破した気鋭の理論家である。仮説の創始者とトップクラスの攻略者を審査の門番に据えることで、企業による一方的な宣言を厳密な学術的査読へと置き換えた。
審査チームの独立性を担保するため、OpenAIは実質的な研究資源を提供した。サイモンズ財団（Simons Foundation）に500万ドルの特別助成を行い、総額約1500万ドル規模の理論科学共同イニシアチブを支援する。資金はクローズドな研究集会の開催や、アルゴリズムのすべての補題を精査する研究者の活動支援に充てられる。
この慎重な姿勢の背景には、2週間前の教訓がある。10月6日、OpenAIは事前スクリーニングを行わないまま722本ものAI生成論文を公開し、テレンス・タオ（Terence Tao）をはじめとする第一線の学者から厳しい批判を浴びた。信憑性の低い大量の原稿が学術空間に溢れ、査読資源を圧迫したことへの反省がここにある。
同時公開された3つの成果と3つの検証アプローチ
10月26日の発表において、OpenAIは3つの分野にわたる理論的成果を公表した。研究チームは対象分野の性質に応じ、3つの異なる検証ルートを使い分けている。
計算機科学分野におけるETH反証では、「外部専門家の主導とオープンソース公開」を組み合わせた枠組みを採用した。自然言語の論文とLean形式化コードを同時に公開し、世界中の研究者が即座に検証できる体制を整えた。
調和解析分野における局所平滑化予想（Local Smoothing Conjecture）の証明は、オープンなコミュニティの自己消化に委ねられた。この成果は10月18日に生成され、翌19日にLeanでの検証が完了した。ソギー（Christopher Sogge）が1991年に提示したユークリッド波動方程式予想があらゆる次元で成立することを証明し、掛谷予想やスタインの制限予想といった長年の難問をも包括する。
図：同日公開された調和解析論文。ユークリッド波動方程式の局所平滑化予想に関する全次元証明のテキスト。出典：GitHub（openai/math リポジトリ）
調和解析の成果には特定の委員会を設けず、数学コミュニティ全体の自律的な査読に委ねられた。一方、高エネルギー理論物理学の成果については厳格な封じ込め戦略が採られた。4次元相互作用量子場理論の存在証明（ミレニアム懸賞問題であるヤン＝ミルズ方程式の存在問題に直結する）は、完全に独立した外部チームに引き渡された。
物理学チームを率いるのは2004年ノーベル物理学賞受賞者のデイヴィッド・グロス（David Gross）であり、マイケル・ダグラス（Michael Douglas）やアーサー・ジャッフェ（Arthur Jaffe）らが参画している。研究データやモデルの詳細をいつ公開するかは、この外部グループが全権を握る。企業は公開時期のコントロール権を放棄し、学術界の規律に従った。
この3軌道の検証モデルは、4つの指針に基づいている。全プロセスの透明性を維持すること、基盤モデルに対する学術的オーサーシップを主張しないこと、外部学者の貢献を尊重すること、そして外部委員会の結論に企業が介入しないことである。学問領域ごとの認知コストに合わせた検証体制の設計は、機械生成によるフロンティア知識のガバナンスにおける実証実験といえる。
人間の役割は「理解と審定」へと後退する
10月16日にモデルが文章による証明の骨子を出力してから、17日にLeanによる機械検証をパスするまで、要した時間はわずか数日であった。人間が30年近くかけて築き上げた理論の壁を、モデルは数十時間の計算で越えてみせた。この圧倒的な生産速度は、従来の学術出版のサイクルを完全に超越しており、既存のピアレビュー体制に空前の負荷をかけている。
しかし、Leanのコンパイラをパスしたという事実は、記号論理としての無矛盾性を示すに過ぎない。アルゴリズムの本質を人間が把握する際の認知的負荷が魔法のように消えるわけではない。その背後にある組み合わせ幾何的な直観を整理し、新たな概念体系を再構築するには数ヶ月にわたる人間の思考が必要となる。機械は隙のない論理的証明を構築できても、それを人間に代わって「理解」することはできない。
最前線の研究における知的労働の力点は確実にシフトしている。記号探索や厳密な論証がアルゴリズムに肩代わりされた今、科学的探求のボトルネックは計算そのものから離れつつある。学術コミュニティの核心的使命は、直観の抽象化、価値の判断、そして最終的な審定へと移行している。
この67ページのETH論文が最終的な審査を通過するかどうかにかかわらず、従来の知識生産の秩序はすでに揺らぎ始めている。提唱者本人を審査席に招いたOpenAIの選択は、アルゴリズムの突破だけでは真理を確定できないことを示している。複雑な世界の探求において、導出のゴールテープを切るのは機械かもしれない。しかし、その一歩が真に妥当であるかを判定する決定権は、常に人間の知性共同体に委ねられている。
参考文献：
- OpenAI Research: 『The Exponential Time Hypothesis is False』論文原稿および Lean 形式化リポジトリ
- OpenAI Research: 『Local smoothing for the Euclidean wave equation』論文原稿
- サイモンズ財団（Simons Foundation）：理論計算機科学・数学フロンティア共同研究発表
