フロンティアAI企業、指数時間仮説の「反証」を主張。その意味は

TechCrunchは、フロンティアAIラボが「自社のモデルが指数時間仮説を反証した」と主張していると報じ、その意味を解説する記事を掲載した。見出しでは主語が「フロンティアAIラボ」と複数形になっているが、具体的にどの企業か、どのような形で成果が示されたかは、今回の材料（見出しのみ）からは分からない。

指数時間仮説（Exponential Time Hypothesis、ETH）は計算複雑性理論の仮説で、代表的な難問である3-SATを、変数の数に対して指数時間より本質的に速く解くアルゴリズムは存在しない、というものだ。P≠NP予想より強い仮定で、多くのアルゴリズムの「これ以上速くできない」という下限の議論がETHを前提に組み立てられている。仮にETHが成り立たないとすれば、その上に積み上がった多くの結果に影響が及ぶ。

これほど重い主張は、数学の専門家による検証を経て初めて受け入れられるのが通例で、現段階では「主張」として受け止めるのが妥当だ。ただ、AIモデルが未解決の数学問題に取り組み、結果を出したと企業が公に主張する段階に来ていること自体が、AIの研究利用の進み方を示している。検証の行方が注目される。