OpenAI、80年未解決の数学問題を解いたと発表。今度こそ本物か

「AIが数学の難問を解いた」と聞くと、皆さんはどう感じるでしょうか。「またか」と思った方、実はその反応、正しいのです。

というのも、OpenAIは約7か月前にも「GPT-5が数学の問題を解いた」と発表したことがあります。ところがこのときは、数学者たちから「それ、すでに知られている解の再発見ですよね」と指摘され、いわば”空振り”に終わりました。AIが既存の論文や定理を学習データとして「覚えていただけ」で、本当に新しい知見を生んだわけではなかった——これは生成AIの成果を評価するときに常につきまとう疑念です。学習済みの情報をなぞっているのか、それとも未踏の領域に踏み込んだのか。両者の区別はしばしば専門家でなければつかず、だからこそ「AIが解いた」という見出しは慎重に扱う必要があります。

では今回はどうなのか。結論から言えば、あのとき誤りを指摘した数学者たち自身が、今回の成果を支持しています。フィールズ賞受賞者のティム・ガワーズ氏は「AIによる数学のマイルストーンだ」と評価しました。批判者が支持者に回ったという事実は、単なる企業発表よりもはるかに重い意味を持ちます。

では、何を解いたのでしょうか。対象は「単位距離問題」と呼ばれる組合せ幾何学の基礎的な問題です。1946年に数学者ポール・エルデシュが提起したもので、簡単に言うと「平面上に点をたくさん並べたとき、ちょうど1単位の距離にある点のペアは最大で何組作れるか」という問いです。エルデシュは20世紀を代表する数学者で、生涯に1500本近い論文を残し、数多くの未解決問題を後世に投げかけた人物として知られています。この単位距離問題もその一つで、解かれないまま約80年が経過していました。

約80年間、数学者たちは「正方形の格子状に点を並べるのが最も効率的だろう」と信じてきました。ところがOpenAIの推論モデルは、この常識を覆す全く異なる配置パターンを発見し、長年の予想を反証したと発表しました。「直感的にこうだろう」と信じられてきた前提を、AIが別解を提示することで崩した——これは人間の発想の癖を外側から揺さぶる出来事でもあります。

ここで注目すべきポイントがあります。この成果を出したのは、幾何学専用のツールではありません。ChatGPTの延長線上にある汎用の推論モデルです。特定分野に特化したAIではなく、私たちが日常的に使うものと同じ系統のAIが、専門家が80年間解けなかった問題に答えを出したのです。専用設計のソフトウェアが特定タスクで人間を上回るのはこれまでもありましたが、汎用モデルが第一線の数学研究で寄与しはじめたという点に、今回の新しさがあります。

これは何を意味するのでしょうか。日本の数理科学研究にとっても、大きな示唆があります。理化学研究所や大学の研究現場で、AIを「発見のパートナー」として活用できる可能性が現実味を帯びてきました。研究人材の確保が課題となる日本にとって、限られた人手を補い、人間が見落としてきた配置や仮説をAIに探索させるアプローチは、研究の生産性を底上げする手段になりえます。

同時に、7か月前の”空振り”から今回の成功への転換は、AI生成の学術成果には第三者による厳密な検証が不可欠だという教訓も残しています。AI Quotidia 編集部としてここで強調したいのは、今回の本当の主役は「AIが解いた」という事実そのものよりも、「誰がそれを検証し、支持したか」という検証のプロセスだということです。批判していた数学者が再検証して認めたからこそ、この成果は信頼に値します。AI時代のリテラシーとは、見出しの華やかさではなく、その裏にある検証の足跡を読み取る力にほかなりません。「AIが解いた」で止まらず、「誰が確かめたのか」まで問う——その習慣こそが、玉石混交の情報のなかで本物を見分ける羅針盤になります。

80年の沈黙を破ったのは、数学者ではなかった

ある予想が、ずっとそこにあった。

1946年、ハンガリーの数学者ポール・エルデシュが1つの問いを置いていった。平面上に点を並べるとき、ちょうど1単位の距離にある点の組を最大いくつ作れるのか——単位距離問題と呼ばれるその問いは、組合せ幾何学の片隅で、まるで古いジャズのレコードのように静かに回り続けていた。誰もが正方格子の配置が最適だと信じていた。それは数学という建物の、誰も疑わない壁紙のようなものだった。

80年間、誰もその壁紙を剥がさなかった。

2026年5月20日、OpenAIが発表した内容は、控えめに言っても奇妙な響きを持っていた。同社の汎用推論モデルが、エルデシュの予想を反証したというのだ。正方格子とはまったく異なる構成族を発見し、古典的な仮定を上回る配置が存在することを示したという。

ここで立ち止まって考えたくなる気持ちは、よくわかる。

なにしろ7か月前、OpenAIはGPT-5が数学の問題を解いたと胸を張り、数学者たちに「それ、既存の文献にありますよ」と静かにたしなめられたばかりだ。オオカミ少年の寓話が頭をよぎる人もいるだろう。僕だってそうだ。

しかし今回は、風向きが違った。前回まさに誤りを指摘した数学者たちが、この結果を支持している。フィールズ賞受賞者のティム・ガワーズは「AIによる数学のマイルストーン」と評した。懐疑論者が転向するとき、そこには寓話ではなく、事実がある。

もう1つ注目すべきことがある。この証明を生んだのは、幾何学に特化した定理証明器ではなかった。文章を書き、コードを読み、日常の質問に答えるのと同じ汎用推論モデルだった。専門家ではなく、いわば何でも屋が、専門家の庭で花を咲かせた。

これは不思議な感覚だ。たとえるなら、近所のよく行くコーヒーショップの店員が、ある朝突然、未解決だった定理の反例をナプキンの裏に書いて見せるようなものだ。「え、君、数学できたの？」と聞くと、「いや、別に。ただ考えてみただけです」と答える。そういう種類の驚きだ。

日本の数理科学の現場にとって、この出来事は遠い国の花火では済まない。理化学研究所や大学の研究室で、AIが未踏の数学的領域を探索するパートナーになりうることを、具体的な先例が1つ、増えたということだ。そして「特化型AIを導入すべきか、汎用AIで十分か」という企業の投資判断にも、静かに、しかし確実に影響を与えるだろう。

同時に、7か月前の失敗と今回の成功を並べて見ると、浮かび上がるのは第三者検証の重要性だ。AIが出した答えを、人間の専門家が検証し、否定すべきは否定し、認めるべきは認める。その往復運動がなければ、どんな発見も砂上の楼閣にすぎない。

80年間、壁紙の下に別の模様が隠れていた。それを剥がしたのが人間ではなく機械だったという事実を、僕たちはまだうまく飲み込めずにいる。でも、飲み込めないことと、それが起きなかったことは、まったく別の話だ。

OpenAI、約80年未解決の数学予想を汎用AIモデルで反証したと発表

OpenAIの汎用推論モデルが、1946年にPaul Erdősが提起した組合せ幾何学の未解決予想「単位距離問題」を反証する構成を発見した。

何が起きたか

- 単位距離問題は、一定の制約下でちょうど1単位距離の点対を最大何組配置できるかを問う問題
- 数十年間、最も効率的な構成は正方格子配置に類似すると信じられてきた
- OpenAIのモデルは、この古典的仮定を上回る全く異なる構成族を発見し、予想を反証したと主張
- Fields Medal受賞者のTim Gowersは「AIによる数学のマイルストーン」と評価

注目すべき2つのポイント

- 汎用モデルによる成果: 幾何学専用の定理証明器ではなく、汎用推論モデルが使われた。専門特化型でなくとも未解決問題に到達できることを示した
- 専門家の支持: 約7か月前、OpenAIはGPT-5が数学問題を解いたと主張したが、既存文献の再発見に過ぎないと数学者に指摘された。当時誤りを指摘した数学者たちが、今回の結果は支持している点が前回との決定的な違いとなる

日本への示唆

汎用AIが専門的な未解決問題を反証できた事例は、日本の数理科学研究におけるAI活用の可能性を広げる一方、7か月前の前例は第三者検証プロセスの重要性も浮き彫りにしている。AI生成の学術成果をどう検証するか、日本の学術機関にとっても避けられない課題となりつつある。