フロンティアAIのOpenAI、社内モデルが80年未解決のErdős単位距離予想を反証――AIが主要数学予想を初解決した歴史的成果

OpenAIは、同社の内部AIモデルが、ハンガリーの数学者Paul Erdős氏が1946年に提起し、80年にわたって人類の数学者を悩ませてきた「単位距離問題（unit distance conjecture）」を反証することに成功したと発表しました。これは、AIシステムが主要な未解決数学予想に対する証明を自律的に発見した、ほぼ初めての事例とされています。Fields賞受賞者のTim Gowers氏は「単位距離問題の解決は、AI数学における歴史的なマイルストーンであることは疑いようがない」とコメントし、University of TorontoのDaniel Litt教授も「AIが自律的に生み出した結果のうち、これは『先行指標』としてではなく、結果そのものとして私が初めて純粋に興奮した事例だ」と評価しています。

単位距離問題はErdős氏が1946年に提唱した問題で、平面上にn個の点を配置したとき、距離がちょうど1である点のペアが最大いくつ作れるかを問うものです。Erdős氏は、点を格子状に配置し、格子間隔を縮めることで多くの「単位距離」を作り出せるという下界の構成を示し、最終的に「nが十分大きいとき、単位距離ペアの最大数はnよりわずかに速くしか増えない」という予想を立てました。一方で同じErdős氏が示した上界はそれよりはるかに速く増加する関数で、両者の間には大きな乖離がありました。80年間、ほとんどの数学者はErdős氏の予想（下界に近い側）が正しいと信じてきましたが、両者を埋める手法は誰も発見できずにいました。

OpenAIの内部モデルは、この予想を「証明」したのではなく、むしろ「反証」しました。同モデルは、Erdős氏の格子構成を発展させる形で、より複雑な配置を構築。高次元空間に格子を作り、それを2次元平面に射影し、整数ではなく代数的整数（algebraic integers）を用いて構成することで、より豊かな構造を持つ格子からより多くの単位距離ペアを取り出すことに成功しました。共同で結果を分析した数学者のWill Sawin氏は、この構成によって単位距離ペア数が少なくともn^1.014のオーダーで増加することを示し、Erdős氏の予想（n^(1+o(1))）の正しさを覆す形となりました。なお、現在知られている最良の上界はn^1.333付近で、両者の間にはまだ差があり、本問題が完全に閉じられたわけではない点には注意が必要です。OpenAIのこの結果は、CDNにて公開された論文の他、Sawin氏らによる清書・拡張済みのバージョン、Noga Alon氏らによるarXivでの「コメント論文」も並行して発表されており、AI出力を起点に人間の数学者がコミュニティとして検証・拡張する典型的な人間-AI協働パターンを示しています。

一方で、複数の解説者がこの結果を「AIの強みを最大限に活かしたタイプの数学的成果」と位置付けている点も注目されます。第一に、AIモデルは数学のすべての分野にわたる膨大な過去研究を学習しており、単位距離問題のような離散幾何の問題に対しても、代数的数論（algebraic number theory）といった一見無関係に見える分野の高度な手法を持ち込めるという、人間にはなかなか難しい組み合わせを実現しました。第二に、AIは「うまくいく可能性が低そうな証明戦略」を膨大な計算量を費やして粘り強く試行できるため、人間が「割に合わない」として断念してしまうアプローチを完走できます。実際、University of TorontoのJacob Tsimerman氏は、本問題に類似のアプローチで挑むことを一度検討したが、「労力を要する割に成功確率が低い」と判断して諦めたと述べています。OpenAIの社内モデルでさえ、最大トークン予算を割り当ててもこの問題を解けるのは半分程度の確率にとどまるとされ、純粋な数学的洞察というよりは「網羅的探索を辛抱強くやり抜く能力」が成果のカギを握っています。

本件の数日後にはGoogleも、自社のAIシステムが50年以上未解決だった2件を含む9件のErdős問題を解いたと発表し、さらに2026年5月時点で公開済みのGPT-5.5にわずかなヒントを与えるだけでErdős予想の反証にたどり着けることも、University of Michiganのポストドク・Xiao Ma氏によって確認されています。これは、フロンティアラボの社内モデルだけでなく、すでに公開されている汎用LLMにも「主要な数学的予想を覆す」能力が宿っていることを示唆しており、AI数学の進展速度の速さを物語っています。Gowers氏もコメントの中で、「AIが近いうちに、定理の構築や定義の定式化、興味深い問いを立てるといった活動でも高い水準に達するだろう」と述べており、当面はAIと人間の数学者が補完的に共存する一方で、その「相補性」がどれほど長く続くのかという根本的な問いをコミュニティ全体に投げかけています。

OpenAIについて
OpenAIは、2015年に米国カリフォルニア州San Franciscoで、Sam Altman氏、Greg Brockman氏、Ilya Sutskever氏、Elon Musk氏、John Schulman氏、Wojciech Zaremba氏らによって共同設立された、人工汎用知能（AGI）の研究・開発・実装を行うAIラボです。当初は非営利組織として出発しましたが、その後、研究の計算資源確保のために「キャップ付き利益（capped-profit）」構造を持つOpenAI LPを傘下に設立し、現在はSam Altman氏がCEO、Greg Brockman氏が社長、Bret Taylor氏が取締役会長を務める、ハイブリッド構造の企業として運営されています。同社の代表的なプロダクトには、対話型AIサービス「ChatGPT」（2022年11月公開、現在は無料のAIサービスとして世界中で利用されている最大級の存在）、APIで提供されるGPTシリーズ（最新は「GPT-5.5」）、推論特化型モデル「o1」/「o3」、画像生成モデル「DALL-E」、音声・映像生成モデル「Sora」、独自開発のAI研究ツール群などがあり、ソフトウェア開発、科学研究、教育、エンタープライズアプリケーションなど幅広い領域に展開しています。資金調達面では、Microsoftによる総額130億ドル超の戦略的投資（2019年〜2023年）に加え、2024年以降は複数のラウンドを通じて評価額3,000億ドル超の水準に達し、近年は世界で最も価値の高い未上場企業の一つに位置付けられています。投資家にはMicrosoft、Thrive Capital、Khosla Ventures、Tiger Global、Sequoia Capital、Andreessen Horowitz、SoftBank、Coatue、各国政府系ファンドなどが名を連ね、OracleやNVIDIAとのインフラパートナーシップ、Microsoft Azureを中核とした大規模学習・推論基盤、そしてStargateと呼ばれる大規模AIデータセンタープロジェクトなど、フロンティアAI開発に必要なエコシステムを大規模に整備しています。今回の単位距離問題の反証は、こうしたインフラ・人材・モデル研究の総力を投じることで、AIが純粋数学の最先端にまで到達しつつあることを示す象徴的な事例として、AI業界全体に大きなインパクトを与えています。