OpenAIのAIが指数時間仮説を反証

10月26日の発表は2本の論文で行われた。OpenAIの67ページの「The Exponential Time Hypothesis is False」と、Anthropicの49ページの併走論文だ。いずれも実行時間2^o(n)の3-SATアルゴリズムを示し、証明はAIが大きく関与して書かれ、数学的証明を一行ずつ検証するプログラムLeanで確認されたとしている。

仮説の共同提唱者らの反応は際立って慎重だった。Impagliazzo氏、UCサンディエゴ校のRamamohan Paturi氏、MITのRyan Williams氏が査読グループを組んだ。Williams氏はTechCrunchに「2、3の異星人のような部分があり、まさにその部分を見て、これはコミュニティ全体で取り組むべきものだと思った」と語った。共同声明で提唱者らは「我々の関与は主張の認定と受け取るべきではない」と caution した。

別途、両ラボは実用的な見方にも歯止めをかけた。Anthropicは自らの結果がP=NPかどうかに直接答えるものではないとし、OpenAIはその高速化が一般のNP問題には及ばないと述べた。Timesが引用した外部の推計では、OpenAIの検証済みの限界は約10の2,389乗変数を超えて初めて総当たりを上回る。Anthropicは自らの手法が5節3-SAT式で問題が10^10,000変数を超えるまで総当たりに勝てないと記した。