AIが80年解けなかった数学の難問を証明した

80年間、世界中の数学者が解けなかった問題を、AIが数週間で片づけた——もしこれが本当なら、「知的作業」の定義そのものを問い直す必要があるかもしれません。

何が起きたのか

OpenAI は2026年5月、同社の新しい汎用推論モデルが、数学者ポール・エルデシュが1946年に提唱した幾何学の未解決予想を反証する独自の数学的証明を生成したと発表しました。エルデシュ予想とは、整数論・組合せ論・幾何学にまたがる難問群の総称で、その多くは単純に見えながら数十年にわたって未解決のまま残ってきました。

今回 OpenAI が反証したのは、「最良の構造は正方格子に近い形をしている」という80年近く信じられてきた幾何学上の通説です。同社のモデルはこの通説を覆す「全く新しい構造のファミリー」を発見し、既存の解よりも優れたパフォーマンスを示すことを証明しました。

注目すべきは、この成果が数学専用に設計されたシステムではなく、汎用推論モデルから生まれた点です。OpenAI は「AIシステムが長く複雑な推論の連鎖を維持し、研究者がこれまで探索していなかった分野横断的なアイデアを結びつける能力を持つようになった証拠だ」と説明しています。

発表に際し、OpenAI は数学者ノガ・アロン、メラニー・ウッド、そして「エルデシュ問題」ウェブサイトを管理するトーマス・ブルームらの支持コメントを添付しました。ブルーム氏は声明の中で「私たちが何世紀にもわたって建て上げてきた数学という大聖堂を、AIはより完全に探索する助けをしてくれている」と述べています。

「前回の失敗」との違い

この発表には、見落とせない文脈があります。7ヶ月前、OpenAI の元副社長ケビン・ウェイル氏がX上に「GPT-5 が10件の未解決エルデシュ問題を解いた」と投稿し、大きな注目を集めました。しかし実態は、モデルが既存文献にある解を「発見した」に過ぎず、新規の証明ではありませんでした。Yann LeCun や Google DeepMind CEO デミス・ハサビスらからの批判が相次ぎ、ウェイル氏は投稿を削除。ブルーム氏自身もこの投稿を「劇的な誤解を招く表現」と批判していました。

広告

広告掲載について

[email protected]

広告

今回 OpenAI は、同じ轍を踏まないよう、独立した数学者による検証コメントを事前に用意した上で発表に臨みました。これは科学的主張における再現性と査読の重要性を、AI企業自身が意識し始めた変化とも読めます。とはいえ、査読付き学術誌への掲載や数学コミュニティ全体による検証はまだこれからであり、最終的な評価には時間が必要です。

なぜ今、これが重要なのか

数学の未解決問題を解くこと自体は、直接的に私たちの日常生活を変えるわけではありません。しかし、今回の意義はその先にあります。

長い推論の連鎖を維持する能力——これが今回 OpenAI が強調したポイントです。これまでのAIモデルは、複数のステップにまたがる複雑な推論で誤りを累積させやすい傾向がありました。もし汎用モデルがこの壁を本当に乗り越えつつあるとすれば、影響は数学にとどまりません。創薬における分子設計、材料科学における新素材の発見、工学における最適化問題——いずれも「長く複雑な推論」を必要とする領域です。

日本社会の文脈で考えると、特に注目すべきは研究開発の生産性です。少子高齢化による研究者人口の減少が懸念される中、東京大学や理化学研究所のような研究機関がこうしたAI推論ツールをどう活用するかは、今後の日本の科学技術競争力に直結する問いになり得ます。ソニーや富士通のような企業も、AI推論能力の向上を自社の研究開発プロセスに組み込む動きを加速させるでしょう。

数学者・AI研究者・一般社会、それぞれの視点

数学者コミュニティにとって、今回の発表は複雑な感情を呼び起こします。「AIが証明を生成した」としても、その証明を理解し、検証し、次の問いへと発展させるのは依然として人間の仕事です。ブルーム氏の「他にどんな見えない驚きが待っているのか」という問いかけは、脅威ではなく好奇心として受け取るべき言葉でしょう。

AI研究者の視点では、今回の成果は「ベンチマーク上のスコア」ではなく「実世界の未解決問題」で示された点が重要です。AIの能力評価は長らく既存のテストセットへの過学習が問題視されてきましたが、誰も解いたことがない問題はそのバイアスを排除します。

一方で、懐疑的な視点も忘れてはなりません。AIが生成した証明が正しいかどうかを確認するのは人間の数学者であり、そのプロセスには相当の時間と専門知識が必要です。また、「自律的に解いた」という表現が実態をどこまで正確に反映しているかも、精査が求められます。