AI が先に山頂に着く数学の時代 — 積み上げ理解と遅延学習のハイブリッドで追いかける

2026 年 9 月に OpenAI が Clay 数学研究所の Millennium Prize Problem の 1 つである Navier–Stokes 方程式の 3 次元有限時間特異性を 88 時間、約 3 日半で見つけたと発表し、10 月 6 日にはさらに quasi-Riemann 予想や 4 次元 Kakeya 予想を含む 722 本の論文草稿を一括公開して以降、AI の出力は『人間が山を登る様子を見せる』形ではなく『どこでもドアで山頂に出てきた』ような形に寄ってきました。この記事では、OpenAI の発表、Terence Tao の proof indigestion と Jeremy Avigad のバックパッキング旅行のアナロジー、そして日々のコーディングで同じ構造が現れることを並べたうえで、積み上げ理解モードと遅延学習モードをハイブリッドで切り替える運用を書き留めます。