10月26日、OpenAIは数学、計算機科学、物理学の三領域で新成果を公表した。うち計算機科学の部分は、約30年にわたり数百本の研究の前提だった指数時間仮説（ETH）の反証を主張するもので、準指数時間の実行上界2のO(n/√log n)乗を提示した。10月17日にはLean形式化が済み、検証チームには仮説の提唱者自身が名を連ねている。
30年使われた仮説に何が起きたのか
ETHの入口は3-SAT問題にある。各桁が0か1の暗証番号に複数の条件が付き、全条件を満たす組み合わせがあるかを判定する問題だ。桁数が100になれば素朴な探索は2の100乗の組み合わせになる。ETHは、どんなに賢いアルゴリズムを書いても、一般の場合の最悪実行時間を2のn乗より本質的に下げられない、という予測である。
今回公開された証明は、固定幅のCNF論理式に対し、充足割り当ての判定だけでなく個数の厳密計算まで行う決定的なアルゴリズムを構成したと述べ、節の数が変数の数に比例する問題群で準指数時間の上界を与える。もし成立すればETHは反証されたことになるが、すべての難問が速くなるという意味ではない。
モデルは10月16日にETHの自然言語反証を生成し、翌17日にLean形式化を完了、26日の公表後に、提唱者のImpagliazzoとPaturi、下界研究のWilliamsが独立・公開の検証を組織した。
掛谷予想は特定次元から全次元へ
数学側は波の集中を論じる局所平滑化予想（1991年、Sogge提唱）を入口に選んだ。瞬間には波が一箇所に異常に集まっても、時間で平均すればその集中は続かない、という現象を不等式で述べる問題だ。2019年にGuth、王虹、張瑞祥が2次元を解き、2025年には王虹とZahlが3次元の集合予想を解いた。
OpenAIは新しい補助偏微分方程式で証明を全次元へ進め、全次元の掛谷予想とStein制限予想を含むと述べる。10月18日に証明、19日にLean形式化という日程で、数学部分は先行の審査班を指定せず、公開資料に研究者が直接入る形を取った。
| 領域 | 主張の内容 | 検証の引き受け方 |
|---|---|---|
| 数学 | 全次元の局所平滑化予想、掛谷・Stein予想 | 形式化を公開、コミュニティが自発的に検証 |
| 計算機科学 | ETHの反証（準指数時間アルゴリズム） | 提唱者と専門家による独立検証チーム |
| 物理学 | Yang–Mills存在性、QCDを含む4次元場の存在証明 | ノーベル賞受賞者らの作業班が整理後に発表判断 |
物理学は存在証明まで、質量ギャップは含まず
第三の成果は、クォークとグルーオンの強い相互作用を記述するQCDなど、規範場とフェルミオンを含む4次元の相互作用場の量子論について、Balabanの構成的量子場論の系譜に沿った厳密な存在証明を主張する。2000年にクレイ数学研究所が挙げた「Yang–Mills存在性と質量ギャップ」のうち、主張しているのは存在性の部分で、質量ギャップには触れていない。
モデルは9月9日にYang–Mills存在性、9月18日にQCD関連の証明を生成し、10月16日のLean形式化完了後に外部協働へ進んだ。検証は2004年ノーベル物理学賞のDavid Grossが率い、Douglas、Jaffe、Klebanov、Nekrasovが参加する。
証明の後の仕事をどう分けるのか
前回10月6日の722本の数学手稿公開では、公開後に三本が記号の誤りで撤回されており、数百本を誰が検査するのかが現実の問題として残っていた。今回は成果ごとに検証の仕組みを変え、OpenAIはAIの産出物を「原始研究データ」と位置づけた。証明の生成と、学問的理解の形成は別工程だ、という考え方である。
同社は参加が無償・独立で守秘義務契約なし、学術署名を求めないこと、Simons Foundationへ500万ドルを投じることも明らかにした。
よくある質問
Q. ETHが反証されると暗号は危なくなるのか。
ならない。主張は特定の構造を持つ論理式の充足・計数を準指数時間で行うアルゴリズムに関するもので、実用暗号の安全性の根拠とは別の話である。まず証明の検証が終わるまで、影響の評価は始まらない。
Q. 掛谷予想の解決は確定なのか。
確定していない。Lean形式化は公開されたが、形式的な定理が元の予想と正確に対応するか、証明が持つ新しい方法は何かの確認はこれからであり、コミュニティの検証が前提になる。
編集部の見解
成果の分量そのものより、検証の引き受け方を成果ごとに変えた点が今回事の本体だと思う。数学は全面公開、計算機科学は提唱者による検証、物理学は専門班の整理待ち。生成の速さに検証の体制が追いつくかは、AI研究の信頼性を測る共通の課題で、この三つの方式の成否は今後のモデル事例になるだろう。
my-best.ai 編集部
出典：36Kr「OpenAIが計算機科学の30年の礎を覆し、掛谷予想も解いた」（寄稿：Synced、2026年10月27日）
あわせて読みたい
- 同じ土俵に38モデル、StreamEvalが暴いた「指示に従う」の壁
- AIの恩恵は上位層に偏るのか、営業236人の調査が示した分岐
- 「博士課程の職業設計はもう成立しない」、Anthropic研究者が並べた4つの数字
本日の36Kr AI版の記事を日本語で整理したものです。最新記事の一覧から他のニュースも読めます。
最新のAI情報をメールで受け取る
新着のAIツール比較・ランキング・ニュースを、まとめてお届けします。
ご登録後、確認メールをお送りします。配信停止はいつでも可能です。