「純粋な狂気」 数学者たちは、OpenAIの最新の発表を理解するのに数年かかるだろう

OpenAIが今週、数学の分野に大量の成果を一度に公開した。数学者36人以上がThe Vergeの取材に応じ、その反応は「圧倒的だ」「途方もない」「前例がない」「純粋な狂気だ」といった言葉で埋まった。公開された結果はおよそ400件で、700を超える原稿に分かれ、組合せ論、幾何学、数論、理論計算機科学、代数、位相幾何、確率論、数理物理など幅広い分野にまたがる。全体を把握するためにOpenAIがGitHub上のリポジトリの歩き方を示すガイドまで出したほどの量だ。

数学者の多くは、概要の一覧を読み通すだけで一時間近くかかったと話す。各結果の検証度合いは大きくばらついている。OpenAI自身も、結果は「検証の段階がさまざま」で、多くは形式化されているが全部ではないと認めている。Lean言語で形式化されたものは全体の約42％、300件ほどにとどまる。形式化されていても、証明が本当に主張を裏付けているかを人が確かめる必要があり、その作業も時間がかかる。

AIの鬼の視点で言えば、今回の騒ぎの本質は「正しいかどうかを確かめるコストが、生み出すコストを桁違いに上回った」という一点にある。AIは数分で論文の山を作れるが、それを読んで裏取りするのは人間の仕事のままだ。ある数学者の言葉を借りれば、読むべきか、怪しい代物かもしれないものを読むべきか、他の誰かが確かめるのを待つべきか、という三択しか残らない。しかも、理解し終えるころにはOpenAIはもう次に進んでいるかもしれない。研究者の時間軸と、AIの公開ペースがずれていく光景が見えてくる。

中小企業の実務で言えば、これは「AIの出力は量が増えるほど、検証の仕組みを先に作らないと使えない」という教訓になる。見積書、契約書、仕様の数字をAIが大量に作るようになったとき、誰がどの基準で確認するかを決めていない会社は、ちょうど数学者たちと同じ場所で立ち尽くすことになる。