2025年、人類は三次元の掛谷予想を大きく前進させたばかりだった。2026年10月、OpenAIは、社内モデルが局所平滑化予想をあらゆる次元で解決し、Leanによる形式化も行ったと発表した。

メディアの見出しは「王の予想をAIが一夜で攻略」。聞こえはいい。だが、リポジトリにははっきりとこう書かれている。これらの資料は生の研究データに近く、一部の結果には問題がある可能性があり、まだ査読を待っている、と。10月初めには、いくつかの原稿を撤回したばかりだ。

私の見立てでは、科学研究のボトルネックは答えを見つけることから、その答えを検証することへと移りつつある。AIをいまだにただのおしゃべり玩具だと思っているなら、研究の分業を変えるそのスピードを過小評価しているかもしれない。一方で、攻略のニュースをすべて確定事項として受け取るなら、「発表されたことは真理だ」と過大評価してしまうかもしれない。

$TAO $FET