OpenAI、80年未解決の有名数学問題をAIが解決

2026年5月中旬、OpenAIは衝撃的な発表を行った。同社の内部AIモデルが、離散幾何学における著名な未解決問題「Erdős単位距離予想」を反証したというのだ。この問題は、天才数学者Paul Erdősが1946年に提起して以来、世界中の数学者が80年間にわたり挑戦し続けてきた難問だった。AIによる数学的証明の新たな時代を告げるこの成果は、学術界に大きな波紋を広げている。

数学界の重鎮たちが認めた快挙

OpenAIはこの成果を公表するにあたり、複数の著名な数学者に早期アクセスを提供し、その反応を公開した。その中には、数学界のノーベル賞と称されるフィールズ賞の受賞者も含まれていた。

フィールズ賞受賞者のTim Gowersは、「単位距離問題の解決がAI数学におけるマイルストーンであることに疑いの余地はない」と述べた。また、トロント大学のDaniel Litt教授は「これはAIが自律的に生み出した成果として、私自身がその先駆性としてではなく、それ自体として興味深いと感じる最初の例だ」と評価した。

おそらくこれは、AIシステムが主要な未解決予想を解決する証明を発見した最初の事例と言えるだろう。この点で、OpenAIの成果は確かに印象的だ。

AI数学の進化の軌道

しかしながら、この画期的な成果は、AIの数学における進歩の軌道から見れば、突然の飛躍というよりも、着実な進化の延長線上にあるものだ。

僅か3年前、大規模言語モデル（LLM）は基本的な算術問題を解くことすら困難だった。高校生レベルの数学コンテストで高得点を獲得し始めたのは、まだ昨年のことだ。

筆者が2026年1月に参加した、世界最大級の年次数学会議「Joint Mathematics Meetings」では、AIシステムが数学研究に貢献し始めているものの、その適用はまだ限定的な環境に留まっていると聞いた。AIの出力を出版可能な定理に変換するためには、人間による大幅な解釈と調整が必要だったのだ。

新たなステップとしてのOpenAIの成果

OpenAIの今回の成果は、この進化プロセスにおける次の重要なステップを示している。このAIモデルは、複数の数学のサブフィールドから既存のアイデアを巧みに適用し、完全な証明を構築した。これは、数学者の知識と創造性を模倣し、組み合わせるAIの能力の向上を如実に示している。

ただし、このモデルは真に新しい数学的手法を先駆けたわけではない。その後の報告によれば、この証明は人間の数学者によって整理され、さらに拡張されている。ここに、今後の数学研究における人とAIの協働モデルの一端が見える。

Erdős単位距離問題とは何か

この問題の核心を理解するために、Erdős単位距離問題の内容を見てみよう。

Paul Erdősは、生涯で1,500以上の論文を発表し、数学史上最も多作な数学者の一人として知られる。彼の最大の才能の一つは、一見単純に見えるが、深い数学的構造を持つ問題を数多く提起したことだ。

1946年に彼が導入した単位距離問題は、次のような問いかけだ。

2次元平面上に任意の点の集合があるとする。そして、集合内のすべての点のペア間の距離を測定する。このとき、距離がちょうど「1単位」離れた点のペアの数を、点の設定を工夫することで最大化できるか？ そして、その最大数は、全体の点の数に対してどれほどの比率で達成できるか？

具体的に例を挙げよう。例えば平面上に5つの点があったとすると、点のペアは全部で10通り考えられる。ある特定の設定では、そのうち3組のペア（距離がちょうど1単位離れたもの）が存在する。では、点の設定をうまく変えることで、1単位離れたペアの数をさらに増やせるだろうか？ この問題は、単純な設定でありながら、証明には複雑な離散幾何学的考察が必要とされる。

AIが証明を構築したアプローチ

OpenAIのAIモデルは、この問題に対する反証を構築した。つまり、従来の予想（ conjecture ）を打ち破る結果を見つけ出したのだ。

記事の著者が指摘するように、このAIモデルの強みは、膨大な量の過去の数学的研究についての知識を持ち、人間では試みる気にもならないような、地味で反復的な証明戦略を根気強く試行できる点にあった。人間の数学者が持つような直感や創造性ではなく、網羅的な探索と既存手法の組み合わせによって突破口を開いたと言える。

これが意味するのは、AIが数学において、人類の知識の集積と計算能力を駆使する役割を担い始めたということだ。

人とAIが協働する中長期的未来

この成果が示唆するのは、中長期的には、人間の数学者とAIモデルが互いの強みを活かし合いながら共存する未来だ。

AIには、生きている人間の誰よりも広範な過去の研究知識があり、見込みの低い面倒な証明戦略を根気強くこなす意欲がある。一方で、人間は特定の一つの問題についてより深く考え、AIが思いつかないような興味深い質問を提起する能力を持っている。

この協働関係は、数学研究の生産性を飛躍的に高める可能性を秘めている。AIが探索の幅を広げ、有望な候補を洗い出し、人間がその中から本質を見極め、深化させていく。そのような未来が現実味を帯びてきている。

はたしてAIは数学者を置き換えるのか

ただし、この協働モデルが永く続くとは限らない。AIシステムは数学の分野でも急速に進化を続けている。記事の著者は「10年後には、人間の数学者がどのような役割を果たすのかは不明だ」と述べている。

これは、AIの能力向上が単なる計算速度の問題ではなく、定理の証明戦略の立案や、問題の本質的な洞察にも及ぶようになりつつあることを示唆している。

ただし、現在のAIは「真に新しい」数学的概念を生み出すことにはまだ至っていない。既存の知恵の応用と組み合わせにおいて圧倒的な力を示しつつも、人類の数学的直観や美意識に代わるものを創出する段階にはない。この点は、今後のAI研究の重要なテーマとなるだろう。

数学研究の民主化と加速

AIによる数学的証明の自動化は、研究のフロンティアを押し広げるだけでなく、数学研究そのものの在り方にも影響を与える可能性がある。

例えば、高度な数学的知識を持たない研究者でも、AIツールを活用することで、複雑な証明の妥当性を検証したり、新しい仮説を探索したりすることが可能になるかもしれない。また、AIが退屈な計算作業を担うことで、人間の数学者はより創造的な思考に集中できるようになるだろう。

今回のErdős問題の解決は、そのような未来への扉を開いた最初の重大な成果と言えるかもしれない。

結論：AI数学の新時代の幕開け

OpenAIによるErdős単位距離予想の反証は、AIが高度な数学的思考において人間と肩を並べ、さらには超えつつあることを示す決定的な瞬間だ。

80年もの間、世界中の数学者を苦しめてきた難問を、AIが解いた。それは、単なる計算能力の勝利ではなく、膨大な知識の統合と論理的な推論の組み合わせによるものだった。

この成果は、AI数学が「実用化」の段階に入ったことを示している。そして、その先に広がるのは、人間とAIがそれぞれの長所を活かし、共に数学の未知なる領域を探求する、新しい協働の時代だ。

ただし、AIの進化の速度は予測不能であり、数学者の役割は今後大きく変化する可能性がある。唯一確かなことは、数学という人類最古の学問分野が、AIという最強のパートナーを得たことで、そのフロンティアはかつてない速度で拡大し続けるだろうということだ。