TL;DR
- AIが80年間未解決だった数学の「単位距離問題」に対し、新たな解法を発見した。
- この問題は、1946年にポール・エルデシュによって提起された。
- AIは、人間が長年採用してきたグリッド状配置の最適解という考え方を覆した。
- AIは、数学の専門分野を超えた知識を統合してこの解法にたどり着いた可能性がある。
- AIによる発見は、数学研究における倫理的なガイドライン策定の動きも加速させている。
80年の数学難問、AIが解いた「巧妙な道筋」
2026年6月3日、数学界に驚きが走った。1946年、伝説的な数学者ポール・エルデシュが提起した「単位距離問題」。80年もの間、多くの数学者がその解法を模索してきたこの難問に対し、AIが、人間が思いもよらなかった「巧妙な道筋」を発見した。エルデシュが最適だと考えていた従来の戦略に対して、AIが上回る配置が見つかった。
エルデシュと、解けそうで解けない「単位距離問題」
この問題は、平面上にいくつの点を配置しても、それらの点がお互いにどれだけ近い距離を保てるか、という問いから始まる。具体的には、任意の数の点を平面上に置いたとき、隣接する点同士の距離が「1」となるペアがいくつ作れるか。エルデシュは、点をグリッド状に配置するのが最も効率的であり、そのペア数は点の数より「わずかに」多い程度だろうと推測した。この直感的な考え方は、長きにわたり多くの数学者に受け入れられていた。
エルデシュ自身、この問題に深い関心を寄せていたようだ。1982年には、$300、1995年頃には$500という懸賞金をかけて、その証明または反証を求めたという。この少額の懸賞金も、彼のユニークな人物像を物語るエピソードの一つだろう。幼少期に数学を「友達」と呼んだほどの没頭ぶり、そして「私の脳は開いている！」という言葉と共に突然現れては共同研究を申し出る、そんな彼の生き様が、この単位距離問題という「お気に入り」の難問に、より一層の神秘性を与えていたのかもしれない。
AIが見出した、人間の直感を越える解答
この度、OpenAIのAIモデルが、エルデシュの長年の定説を覆す発見をした。AIは、グリッド状配置という人間が長年最適だと考えてきたアプローチとは異なる、より多くの距離ペアを生み出す配置戦略を提示したのだ。この結果は、科学界に大きな衝撃を与えた。2026年に入り、AIが数学の問題に貢献し始めているというニュースは耳にする機会が増えたが、80年もの間、著名な数学者たちが挑み続けた問題に対して、人間とは異なる視点から「巧妙な解法」を見出すというのは、まさに驚嘆すべきことだ。
このAIによる発見は、私に一つの疑問を抱かせた。なぜ人間は、この解法にたどり着けなかったのか。AIは、専門分野に特化しがちな人間の数学者とは異なり、異なる分野の知識を横断的に、そして膨大な計算量をもって組み合わせることができる。もしかすると、長年「これが正解だ」と思い込まれていたエルデシュの戦略に囚われ、誰もがその枠組みの中で思考を巡らせていたのかもしれない。AIは、そのような人間の思考の壁を、静かに、しかし確実に乗り越えた。
AIと数学の未来、そして人間の役割
AIが数学の未解決問題に光明をもたらす可能性は、計り知れない。定理の証明を助けたり、新たな仮説を生成したりと、その応用範囲は広がりを見せている。今回、AIが発見した単位距離問題の解法は、応用数学や情報科学の分野にも新たなインスピレーションを与えるかもしれない。
しかし、このAIによる発見は、私たちに新たな問いも投げかける。AIが発見した解法をどのように評価し、どのように学術的な成果として認識していくのか。OpenAIは、AIが提示した思考プロセスを「要約」し、数学者たちがそれを基に証明を「書き直した」という。これは、AIが示唆を与え、人間がそれを理解し、発展させるという、協働の形を示していると言えるだろう。
「エルデシュ数」という、数学者間の繋がりを示すユニークな指標があるように、将来的にはAIの数学への貢献度を測る、新たな指標が生まれることも想像してみる。AIが人類の知の歴史に、どのような形で刻まれていくのか。その進化の過程で、私たちはAIとどのように共存し、互いの「知」を拡張していくべきなのか。この単位距離問題に対する今回のブレークスルーは、単なる数学的な進展に留まらず、AIと人間の関係性を再考する、重要な一歩となるのかもしれない。
出典:
Mathematicians Puzzled Over a Famous Problem for 80 Years. Now, They’ve Used A.I. to Identify a Clever Solution Smithsonian Magazine
