AIが十の未解決問題を解いた。効いているのは、解いたことより「確かめられる」ほうだと思う
十年以上ほどけなかった数学の問題に、AIが答えを出した。
すごいのはそこではなく、誰でも機械で検算できる形で出したことだった。
朝のニュースを見ていて、思わず手が止まった。
AIが数学の未解決問題を十個解いた、と書いてある。
この手の見出しは半分ほど話が盛られているのが普通なので、まず疑ってかかった。
読み進めて、疑いどころが自分の思っていたところではないと分かった。
何があったのか
2026年8月1日、OpenAI が「Ten advances in mathematics and theoretical computer science」という報告を公開した。
次の主要モデルにあたる Astra の社内版が、少なくとも十年以上は誰も先へ進めていなかった十個の問題に対して、解や反例や新しい評価を出したという内容だ。
扱われているのは、群論、高次元の幾何、符号理論、量子計算量、格子暗号、極値組合せ論といった分野。
中でも大きいのは、1999年にグロモフが提起して以来「すべての群がそうなのではないか」と問われ続けてきた性質について、そうではない例を作ってみせたことらしい。
ほかにも、球をどれだけ詰め込めるかの上限を改善した結果や、体積に関する予想の解決、ラムゼー数の評価の更新などが並んでいる。
そして肝心なのはここだ。
それぞれの証明は Lean という定理証明の言語で形式化され、GitHub に公開されている。
環境を用意すれば、誰でも自分の手元で機械にかけて、証明が通るかどうかを確かめられる。
生成にかかった費用は、API の料金に換算して十個ぶんで約2,000ドルだったと書かれている。
僕がひっかかったところ
ひとつめ。
僕がすごいと思ったのは「解いた」ことより、確かめられる形で出したことのほうだった。
AIのいちばん困る癖は、間違っているときほど自信満々に説明してくることだ。
日々の仕事でそれに何度も引っかかっている僕からすると、答えの正しさを人間の判断の外側で機械が判定できる、という一点がとにかく大きい。
今回の話が「信じるかどうか」の議論にならなかったのは、そこに理由がある。
ふたつめ。
2,000ドルという数字が、妙に落ち着かない。
何十年も誰も進められなかったものが、金額で言える範囲に収まってしまった。
安いと言いたいのではなくて、値札が付いたことが引っかかる。
値札が付くと、次に来るのは「じゃあ百万ドルぶん回したらどうなるのか」という話で、そこから先は個人には手が届かない世界の速度になる。
みっつめ。
これが効いたのは、正しさを機械が判定できる領域だったからだ。
数学には、正解かどうかを一行ずつ突き合わせて確かめる仕組みが先にあった。
僕がやっている仕事にはそれがない。
この文章が読みやすいか、この写真がこの記事に合っているか、この言い回しが誰かを傷つけないか。
どれも機械が丸をくれない。
だから「AIが数学を解いたのだから、そのうち全部やってくれる」と続けて考えるのは、たぶん間違っている。
ついでに書いておくと、報告には人間の研究者が検証と論文化に関わったことも記されている。
著者の扱いについて OpenAI 自身が、AIの出した議論を人間の手柄にするのは適切ではない、という趣旨のことを書いていて、この慎重さは信用できると思った。
で、僕はどうするか
やることは、たぶん一つに集約される。
自分の仕事のうち「機械が確かめられる部分」を、意識して切り出しておく。
リンクが切れていないか。
フォームがちゃんと届くか。
表の数字が合計と合っているか。
画像に幅と高さが入っているか。
このあたりは、正解が決まっていて、機械が判定できる。
AIに任せるならまずここからで、任せたあとに自分で全部見直す必要もない。
逆に、確かめようのない部分は自分で見る。
言葉のえらび方、写真の並び、読み終わったあとに何が残るか。
ここを丸ごと渡してしまうと、間違っていても誰も教えてくれない。
今回の件は、その線引きをはっきりさせてくれた気がする。
それともう一つ。
これから「AIがすごいことをした」という記事を見たら、確かめる装置が付いているかどうかを先に見ることにした。
付いていれば話は速い。
付いていなければ、それはまだ誰かが確かめないといけない段階の話だ。