OpenAIのAIが80年来の数学難問を反証|何がすごい?

伊東雄歩
監修者 伊東 雄歩

株式会社ウォーカー CEO。東北大学卒。MENSA会員、JDLA認定講師、健全AI教育協会理事。生成AI×教育・学習科学を専門とし、2億円超のシステム開発プロジェクトを統括。

taolis.net X note Voicy YouTube
  • OpenAIの汎用推論AIが、1946年にエルデシュが提起した「平面単位距離問題」の従来予想を反証した
  • 「正方格子が最適」と信じられてきた80年来の常識を、AIが自ら覆す新しい構成法を発見
  • AIは離散幾何学とは無縁に見える「代数的数論」を持ち出し、人間が思いつかなかった証明を組み立てた
  • フィールズ賞受賞者のティム・ガワーズ氏は「数学AIのマイルストーン」と称賛
  • AIが学術研究の「補助」から「独立した発見者」へ変わりつつある転換点となる

AIが人間の代わりに、80年間誰も解けなかった数学の難問に答えを出した——そんな話を聞いたら、どこか嘘くさく感じませんか。けれど2026年5月、OpenAIが発表した成果は、本当にその領域に踏み込みました。フィールズ賞受賞者が「躊躇なく一流誌に通す」と言うほどの本格的な数学的発見です。

OpenAIが発表したのは「数学の常識を覆す反証」

2026年5月20日、OpenAIは公式ブログで衝撃的な発表を行いました。

同社の社内テスト中の汎用推論モデルが、離散幾何学の中心的な未解決問題「平面単位距離問題」について、80年間信じられてきた予想を反証したというのです。

注目すべきは、これが「数学専用に作られたAI」ではないこと。一般的な推論能力を測るために用意されたモデルが、人間の数学者でも到達できなかった答えを自力で導き出しました。

つまり、AIがついに「学者の助手」ではなく「学者そのもの」として研究に貢献できる時代の入口に立った、ということです。

80年前にエルデシュが残した「単位距離問題」とは

問題そのものはとてもシンプル

この問題は、1946年にハンガリーの伝説的数学者ポール・エルデシュが提起しました。

問いはこうです。「平面の上にn個の点を置いたとき、ちょうど距離1だけ離れた点のペアは最大で何組つくれるか?」

たとえば紙の上に点を3つ並べて、その全部が互いに1cm離れている形を考えてみてください。これは正三角形になりますね。点が増えていくと、ペアの数はどこまで増やせるのか——それを問う問題です。

「正方格子が答え」だと80年信じられてきた

これまで多くの数学者は、正方形のマス目(正方格子)に点を並べた配置が、ほぼ最適だと考えてきました。

具体的には、点の数nに対して、ペアの数は「n^(1+o(1))」——つまりnよりわずかに大きい程度——にしか増えないだろう、と予想されていたのです。

シンプルに見える問題ですが、上限を厳密に証明するのも、より良い配置を見つけるのも、80年間ずっと壁にぶつかり続けてきました。

AIが見つけた「もっと点を詰め込める並べ方」

代数的数論という「別分野」の道具を使った

今回のAIの構成は、これまで誰も組み合わせなかった発想で問題を解きました。

使ったのは、離散幾何学とは一見無関係な代数的数論。具体的には「無限類体塔」や「Golod–Shafarevich理論」と呼ばれる、専門家でも扱いが難しい高度な道具です。

整数を拡張した「数の世界」の構造から、平面上の点配置を作り出す——そんな飛躍的な発想で、AIは正方格子を上回る配置を構築しました。

改善幅は「n^(1+0.014)」

AIが示したのは、無限に多くのnについて、ペアの数が「n^(1+δ)」となる配置の存在です。

このδの値は、プリンストン大学の数学者ウィル・サウィン氏がさらに精緻化して、δ=0.014と確定しました。

「たった0.014?」と思うかもしれません。しかし、80年間ぴくりとも動かなかった下界が初めて更新されたという事実こそが、数学界にとって決定的な事件なのです。

数学者たちの反応——「助手の時代は終わった」

フィールズ賞のティム・ガワーズが太鼓判

AIの証明は、複数の外部数学者によって厳密に検証されました。

その中心人物が、フィールズ賞受賞者のティム・ガワーズ氏です。彼はAIの結果について「数学AIのマイルストーン」と評価し、「もし投稿されていれば、躊躇なく最高峰の数学誌『Annals of Mathematics』に通していただろう」とまで述べました。

これは数学界では最大級の賛辞です。

「AIは助手の段階を超えた」

プリンストン大学のノガ・アロン氏は、「長年の未解決問題を解いた傑出した成果」と評価。

代数的数論の専門家アーリル・シャンカー氏は、より踏み込んだコメントを残しました。「AIはもう単なる助手ではない。独創的なアイデアを生成し、それを実行する能力を持ち始めた」と。

これまでAIに対する数学者の評価は「便利な計算機」「論文の下書き役」が中心でした。今回はそれを大きく塗り替える事件です。

過去のAI数学成果と何が違うのか【比較】

これまでもAIは数学に挑戦してきた

「AIが数学を解く」という話は、実は今回が初めてではありません。

振り返ってみると、ここ数年でいくつかの大きな成果がありました。

  • DeepMindのAlphaGeometry:国際数学オリンピックの幾何問題を金メダル級に解く(2024年)
  • ChatGPTがエルデシュ問題を解いた事例:フィールズ賞のテレンス・タオ氏が「AIがほぼ自律的にエルデシュ問題を解いた最初の事例」と評価
  • OpenAI o3モデルのFrontierMath得点:難問データセットでの高得点
  • GPT-5.2による物理方程式の発見:物理学の新しい関係式の提案

今回の決定的な違いは「中心的予想を覆した」こと

これまでのAI成果は「人が出題した問題を解く」「既存の予想を確認する」ものが中心でした。

しかし今回は、数学者コミュニティの「常識」そのものをAIが反証したのです。

しかも反証の道具として、人間ですら「この分野で使えるとは思わなかった」高度な代数的数論を持ち出してきました。問題を解くのではなく、新しい数学的洞察を生み出したというわけです。

日本の研究現場・産業への影響

数学者の役割が変わる予感

日本の大学や研究機関でも、この発表は大きな話題になっています。

特に注目されているのは、AIが「異分野の知識を結びつける」能力。日本の若手数学者からは「分野横断的な研究をAIが支援する未来が見えた」という声が上がっています。

ある地方都市の外科医はnoteで、「これは医療研究の予告編かもしれない」と書いています。数学で起きたことが、いずれ医学・物理学・材料科学にも波及するだろうという見立てです。

日本企業がAI研究に投資する根拠が増える

OpenAIは今回、AIの応用先として「生物学、物理学、材料科学、工学、医学」を明示しました。

これは日本の製造業や製薬業にとって無視できない情報です。新薬開発、新素材の発見、半導体の設計——どれも「未知の組み合わせを発見する」作業が核心にあります。

富士フイルム、武田薬品、トヨタ系の素材企業など、すでにAI研究投資を増やしている日本企業にとって、今回の成果は「投資判断の追い風」になるはずです。

よくある質問(FAQ)

Q1:このAIモデルは一般人も使えるのですか?

A:いいえ。現時点ではOpenAI社内のテスト中モデルであり、ChatGPTの一般ユーザー向け機能としては提供されていません。今後の汎用推論モデル(GPT-5系列など)に研究成果が組み込まれていく可能性は高いです。

Q2:エルデシュ予想は完全に「解けた」のですか?

A:今回反証されたのは「正方格子がほぼ最適」という長年の予想です。問題そのものは依然として未解決で、最大ペア数の正確な上限はまだ分かっていません。下界が初めて更新された、というのが正確な表現です。

Q3:AIの証明は本当に正しいのですか?

A:はい。複数の外部数学者による厳密な検証を経ています。フィールズ賞受賞者のティム・ガワーズ氏らが論文化を進めており、専門家コミュニティで信頼できる成果として認められています。

Q4:日本の研究者もこの分野で成果を出せますか?

A:可能性は十分にあります。日本の代数的数論は世界トップレベルで、京都大学・東京大学・東北大学などに強い研究グループがあります。AIと組み合わせれば、日本発の数学的発見も期待できる土壌があります。

Q5:AIに数学者の仕事が奪われるのですか?

A:少なくとも当面は「奪う」より「拡張する」関係になりそうです。問題を選ぶ・解の意味を解釈する・新しい問いを立てる仕事は、まだ人間にしかできません。ただ、ルーティン的な証明や検証はAIが担う割合が増えていくでしょう。

まとめ:AIが「発見者」になった日

今回の成果を整理すると、こうなります。

  • OpenAIの汎用推論AIが、80年来の数学予想を独力で反証した
  • 反証には離散幾何学と無関係に見える「代数的数論」を活用
  • 改善幅はn^(1+0.014)。小さいが80年間動かなかった壁を破った
  • フィールズ賞受賞者が「最高峰誌に躊躇なく通す」レベルと太鼓判
  • AIが「助手」から「独立した研究者」へと役割を変える節目

次に注目すべきは、この成果が生物学や材料科学にどう波及するかです。AIニュースをこまめにチェックしておくと、産業や研究の地殻変動の兆しを早く掴めるはずです。

参考文献

コメントを残す

メールアドレスが公開されることはありません。 が付いている欄は必須項目です