OpenAI の AI が80年未解決の数学予想を反証 — 「補助役」を超えた日

80年の予想を、AIが覆した #

OpenAI は5月20日、同社の内部AIモデルが約80年間未解決だった離散幾何学の難問を進展させたと発表した。対象は数学者ポール・エルデシュが1946年に提起した「単位距離問題」——平面上に n 個の点を置いたとき、距離がちょうど1になるペアは最大いくつ作れるか、という問いだ。

エルデシュは「ペア数は n をわずかに上回る程度にしか増えない」と上界を予想していた。AIはこれを反証し、無限個の n に対して n の (1+δ) 乗個のペアを持つ配置を構成できることを証明。プリンストン大学のウィル・ソーウィン氏の改良で δ=0.014 と確定した。OpenAI はこれを「重要な転換点」と位置づける。

注目すべきは手法だ。AIは幾何の問題に対し、一見無関係な「代数的整数論」——無限類体塔やゴロド・シャファレヴィッチ理論——を持ち出し、証明に必要な数体の存在を示した。使われたのは数学専用AIではなく汎用推論モデルで、テスト時の計算量を増やすほど正答率が上がる傾向も確認されている。

「補助役」を超えたAIと、検証する人間 #

外部の数学者がこの証明を独立に検証した。フィールズ賞受賞者のティム・ガワーズ氏は「AI数学のマイルストーン」、数論研究者のアルル・シャンカール氏は「AIが補助役を超え、独創的なアイデアを生み出して実行できることを示した」と評価している。

ここにセキュリティ屋として注目したい論点がある。AIが人間には検証困難な成果物——証明、コード、そして攻撃手法——を自力で生み出せるなら、「正しさを誰がどう保証するか」という検証コストが新たなボトルネックになる。今回はフィールズ賞級の人材が時間をかけて確かめたからこそ「成果」と呼べた。逆に言えば、検証する目を持たない現場では、AIが吐き出したものが正しいのか誤っているのか、あるいは悪意を仕込まれているのかすら判別できない。OpenAI 自身も「探索・提案・検証はAIが支援できるが、問いを選び結果を解釈するのは人間に残る」と人間の判断の重要性を強調する。AIが生むものを鵜呑みにしない——その原則は、数学の証明でも、あなたのコードレビューでも変わらない。