AIが数学の難問「ETH」に反証？研究者が解説

OpenAIとGoogleのDeepMindが、それぞれ開発したAIモデルが「指数時間仮説（ETH：Exponential Time Hypothesis）」に反する結果を示したと発表した。ETHとは、計算機科学における重要な未解決の予想で、ある種の計算問題は原理的に膨大な時間がかかる、すなわち「効率的に解くことは不可能だ」という考え方を指す。この発表は、AI業界のみならず理論計算機科学の分野にも波紋を広げている。

ETHは1990年代から2000年代初頭にかけて提唱された数学・計算機科学上の仮説で、特定の問題クラス（たとえば「充足可能性問題」など）を効率的に解くアルゴリズムは存在しないという予想を支える土台になっている。もしこの仮説が誤りであると証明されれば、暗号理論やアルゴリズム設計など、現代のコンピュータ科学の基盤そのものに影響を与える可能性がある。それほど根本的な問いを、AIが揺るがしたとする発表は、当然ながら専門家からも慎重な検証が求められることになる。

この件についてTechCrunchは、MITの計算機科学者にコメントを求めた。同氏は、AIモデルが数学的証明の「反証」を示したとする主張の意味と限界を解説した。AIが導き出した結果が、厳密な数学的証明と同等の意味を持つかどうかは慎重に判断する必要があり、現時点では「AIが特定の反例を提示した」という段階にとどまるという見方を示した。AIが示す計算結果は、人間の研究者による検証なしに数学的定理の反証とは言えない、という点が強調された。

OpenAIとGoogleDeepMindの両社が相次いでこうした発表を行ったこと自体、AI技術の応用範囲が純粋数学や理論計算機科学にまで広がりつつあることを示している。これまでAIは自然言語処理や画像認識などの分野で成果を上げてきたが、数学的命題の探索や証明支援への活用は比較的新しい流れだ。フロンティアAIと呼ばれる大規模モデルが、専門家でも長年未解決だった問題に挑む事例が増えており、AI研究の方向性が変わりつつあるという見方もできる。

ただし、「AIがETHを反証した」という表現には注意が必要だ。数学における反証とは、厳密な論理の手順を踏んで仮説の誤りを示すことを指す。AIが計算の過程で見つけた反例のような結果が、そのまま数学的な意味での証明になるわけではない。MITの研究者が指摘するように、AIの出力を起点として人間の専門家が検証・整理する作業が不可欠であり、両者の協働によってはじめて科学的な意味を持つ成果になるという見方が適切だろう。

今回の出来事は、AIの「発見」をどう評価するか、という問いを社会に投げかけている。AIが膨大な計算空間を探索し、人間では気づきにくいパターンや反例を見つける能力は、今後の科学研究において重要な役割を果たす可能性がある。一方で、その結果を「証明」や「発見」として受け取るには、人間による検証のプロセスを省略できないという原則も改めて確認された形だ。AI研究と数学・計算機科学の接点に、今後も注目が集まると考えられる。