AIが数学の“30年の壁”を突破。問題を選んだのは人間

あるAIモデルが凸最適化の未解決問題を渡され、17分ほど考えて既存の限界を改善する証明を出し、人間の検証も通った。ただし問題を選び、答え合わせをしたのは人間だった。

ひかり：ねえ大変っ、ニュース見て! AIがついに、数学者が30年も解けなかった問題を、プロンプト一発で破ったんだってー!

ことね：落ち着いて、ひかり。正確に言うとね——“凸最適化”っていう分野の論文にあった未解決の問題を一つ渡したら、あるAIモデルが17分くらい考えて、これまでより良い証明を出した、っていう話。それを人間が読んで“合ってる”と確認できたのが大きいの。

ひかり：とつ、さいてきか……? ことね先輩、それもう呪文じゃんっ。何をどうする分野なのー?

ことね：ざっくり言えば“いちばん低い谷底に、なるべく速くたどり着く計算”の理論ね。今回そのモデルは、『どれくらい大きな歩幅まで、安定して下っていけるか』の上限を、これまでの1.0から1.5へ広げて証明した。人間が長年“ここが限界”と思ってた線を、ちょっと押し上げたわけ。

みずき：…で? その“未解決問題”を選んで渡したのも、証明が正しいか検算したのも、結局は人間なんでしょ。

ことね：そこ、鋭い。問題設定も答え合わせも人間の仕事。AIは“きれいに整えられた壁”を、手持ちの道具を上手に組み合わせて越えた——が近いのよ。ゼロから壁を見つけたわけじゃない。

ひかり：それでも十分すごくない!? わたしなんて、壁を見つけた時点で「むりー」って寝ちゃうよっ!

みずき：見つけて“これは越える価値がある”って決めるまでが本番なんだけどね。最近は“50年の難問を1時間で解いた”みたいな景気のいい話も出てるけど、そっちはまだ誰も検証できてない。

ひなた：ふぁ〜……30年もその壁とにらめっこしてた人がいたから、AIさんも“ここが壁だよ”って分かったのです。……いちばんえらいのは、にらめっこを続けた人だと思うのです。

ことね：……ひなた、たまに核心を突くわね。そう、“どの壁なら越える意味があるか”を見極めるのが、いちばん人間に残された仕事なのよ。

まとめ：“AIが30年の壁を破った”。でも壁の場所を指さして、破れたか確かめたのは人間。手柄はとりあえず、半分こ。