
AIが、コンピュータ科学における最も基本的な仮定の一つに挑戦した可能性がある。しかし、より大きな物語はETHではない。 10月26日、OpenAIは、内部のAIモデルが「指数時間仮説(ETH)」の反証を提出したと発表した。ETHは、数百の計算的困難性の結果を支える基礎的な予想である。 主張内容:固定幅ブール式の満足割当の正確なカウントに対する決定論的・準指数時間アルゴリズム。 この主張が正しい場合、ETHは崩壊し、いくつかのより強い予想も同様に崩れる。 しかし、P ≠ NPは依然として未解決である。理論的に速いことが実用的に有用であることを意味するわけではない。 この証明はLeanで形式化されている。Russell Impagliazzo、Ramamohan Paturi、MITのRyan Williamsが独立した検証を組織している。 彼らの関与は賛同を意味しない。独立した検証が不可欠である。 私の見解:ここには一つではなく、三つのブレイクスルーが潜在している。 数学的:長年存続してきた計算複雑性の壁が覆された可能性がある。 科学的:AIは研究者を支援する存在から、真正に新規な知識を生成する存在へと移行しつつある可能性がある。 制度的:科学コミュニティは、発見の検証、理解、評価、再現方法を見直さなければならない。 そのうち三番目が最も重要になる可能性が高い。 何世紀にもわたり、最前線レベルの発見を生み出すには限られた人間の専門知識と数年の研究が必要だった。 AIが、人間が独立して検証・理解するよりも速く信頼できる数学的発見を生成できるようになったらどうなるか? ボトルネックは、発見から検証・解釈・科学的判断へと移る。 そして最終的には、AIがそれらのプロセス自体も加速する可能性がある。 真の転換点は、AIが一つの有名な問題を解いたことではない。AIが人間の知識の限界を繰り返し拡張し続けていることである。 私たちはまだ明確にその段階には至っていない。しかし、この進展は真剣に注目されるべきである。 問題はもはや「AIがどれほど知的になれるか」ではなく、「私たちの科学的制度が、AIが発見したものを評価するのに十分な速さで進化できるか」である。 OpenAIの発表: https://t.co/G0p0VEMjlC 研究論文およびLean形式化: https://t.co/jVif4w5JKB #ArtificialIntelligence #ScientificDiscovery #OpenAI #ComplexityTheory #AIResearch #ComputerScience #FutureOfAI #AgenticAI


