【geek-terminalニュース】OpenAIがETH反証を主張、提唱者らが検証へ――Claude独立発見説も

以前お伝えした、9月のNavier–Stokes証明騒動と10月のAI数学原稿公開の続報です。今回は「AIが難問を解いた」という見出しから一歩進み、計算量理論の土台・指数時間仮説（ETH）への反証主張を、提唱者を含む専門家が検証する局面に入りました。2026年10月28日時点で、発表と検証体制は確認できますが、反証成立を最終確定として扱う段階ではありません。

【事象の全貌と背景】
OpenAIは10月26日の公式発表で、内部AIがETHの反証を生成し、Leanでも検証したと主張しました。外部検証を担うのはUC San DiegoのRussell Impagliazzo、Ramamohan PaturiとMITのRyan Williams。仮説の提唱者自身が検証に加わる顔ぶれは強烈ですが、参加は正しさへのお墨付きではありません。[OpenAI公式発表](https://openai.com/index/building-scientific-understanding-with-academic-communities/)

今回の新しさは、検証を企業の内部評価から開かれた研究活動へ移す点です。自然言語の証明とLean形式化を公開し、参加者は無報酬・秘密保持契約なしで、中間成果や結論を独立して発表できる体制です。提示されたTHE DECODERの報道要約もこの方針を伝えています。ただし同記事本文は今回再取得できず、指定PDFの中身も直接確認できませんでした。証明の具体式や手法の解説には、この取得範囲の制約があります。

【技術的ディープダイブ】
ETHは大づかみにいえば、n個の変数を持つ3-SATを最悪時に2^{o(n)}時間では解けない、という仮説です。3-SATは、各節が最大3個のリテラルからなる論理式について、全体を真にする変数の割り当てが存在するかを判定する問題。総当たりの2^nより速いだけでは反証にならず、指数部分がnに対してどのように増えるかが核心です。[提唱者の講義資料](https://cseweb.ucsd.edu/~russell/FGCA/lecture16.pdf)

例えば2^{0.1n}は依然として指数時間。一方、2^{√n}は準指数時間の例ですが、これは説明用であり、今回の原稿に書かれた計算量ではありません。また準指数時間でも多項式時間とは限らず、ETH反証からP＝NPは導けません。「指数の壁に穴が開く」と「どんなNP問題も手軽に解ける」の間には、大きな距離があります。

専門家が精査すべき点は、アルゴリズムが対象の全入力で正しいか、前処理や補助計算を含めた最悪時計算量が本当に主張どおりか、そしてLeanで証明された命題が意図したETH反証を正確に表すかです。これは本稿が整理した検証観点で、検証チームの公式チェックリストではありません。形式化された命題の証明と、その命題が元の問題を適切に表しているかの確認は、それぞれ必要になります。

さらにAnthropicの内部Claude研究モデルも、10月16日に独立発見し、約1,400万の出力トークンを使い、人間の入力はなかったという投稿が出ています。ただし確認できたのはRedditの主張とリポジトリへのリンクまで。独立性、探索過程、証明の正しさは未確認です。トークン数だけからGPU時間、費用、探索全体の規模も逆算できません。[該当投稿](https://www.reddit.com/r/singularity/comments/1xgmlas/internal_claude_research_model_also_independently/)

【コミュニティの生々しい熱量と議論】
提供されたr/mathのコメント抜粋で、Prank1618は「SETHは偽だと思っていたが、ETHは非常にもっともらしく見えた」と驚いています。訳して紹介したこの声が示すのは、単なる高速化以上に、何を難しいと信じるかが揺さぶられた感覚です。ただし今回取得した同スレッドにはコメント本文が表示されず、この発言は提供資料に基づく紹介です。[r/mathの議論](https://www.reddit.com/r/math/comments/1xecgue/ai_in_mathematics_october_24_2026/)

直接確認できたr/singularityでは、Current-Function-729が「笑ってしまうほど巨大な定数で、学術的な興味にとどまらないか」と疑問を呈し、CSMasterClassは「定数は小さくするためにある」と応酬。opbmediaは投入計算量を尋ねています。理論の突破口に沸く側と、実装して速いのかを問う側が同じコメント欄に同居する、実にギークらしい温度差です。いずれも期待や疑問であり、実測の高速化報告ではありません。[実際のコメント欄](https://www.reddit.com/r/singularity/comments/1xgazbf/watching_ai_take_out_eth/)

提供資料のTwoMoons1Sunによる公開手順への皮肉も、証明を誰がいつ読めるかへの関心を映しています。ただし分野間の公開時期をめぐるコメントは、そのまま時系列の根拠にはできません。lobste.rsについてもURLがなく、同サイトでの反応を確認済みとして追加することはできません。

【今後の展望とエコシステムへの影響】
反証が成立した場合、まず見直しが必要なのはETHを前提とする計算困難性の解釈です。グラフ、データベース、計算生物学などで「ETHが正しければ、この時間より速く解けない」と示してきた研究の前提が崩れます。しかし条件付き命題そのものが論理的に誤りになるわけでも、過去の結論すべてが自動的に偽になるわけでもありません。「大量の論文が無効」という投稿見出しは、影響を一段飛ばしています。

現場で必要なのは、扱える入力サイズ、メモリ量、隠れた定数、既存SATソルバーとの比較です。理論上の改善が、そのまま設計検証や最適化の待ち時間を減らすとは限りません。暗号解読への即効性も示されていません。

今後追うべきは、専門家による検証報告、読める形に整理された証明、そして再現可能な実装です。両社の独立成果という主張が確認されればAIによる発見の再現性も大きな論点になりますが、現状は検証待ち。今回見えた変化は、AIの出力を出発点に、人間が意味を確認し、共有できる知識へ仕上げる工程の重みです。ETHの壁が崩れたかどうかは、その工程を追って判断する必要があります。