OpenAIは2026年5月20日、自社モデルが離散幾何学の中心的予想を反証したと公式発表した。対象は「単位距離問題」と呼ばれる古典的難問で、平面上のn個の点の間で距離がちょうど1となる点対の最大数を問うものである。1946年にErdősが提起して以来、上界と下界の間の差を埋める研究が80年にわたり続いてきた領域で、今回はその中心的予想に対する反例をAIが構築した、というのが発表の骨子である。

この事例の特徴は、AIが既知の証明を再現したのではなく、未解決問題で「予想が成り立たない例」を新たに見つけた点にある。数学における反例構築は、探索空間が極めて広く、人間の直感と機械的探索の組み合わせが要る作業として知られる。AIがこの種のタスクで成果を出したと公式発表されたことは、推論モデルの利用範囲が「教科書的問題の解答」から「研究フロンティアでの寄与」へ広がる兆しとして読める。

日本の意思決定者にとっての含意は二つに分けられる。第一に、研究機関や大学のR&D部門では、AIを「文献調査の高速化ツール」から「仮説生成・反例探索の共同作業者」として位置づけ直す素地が整いつつある。第二に、企業の事業判断層にとっては、AI for Scienceへの投資が抽象的な期待値ではなく、具体的成果を伴う領域として評価できるフェーズに入った。一方で、今回の成果は純粋数学の単一事例であり、産業応用への波及には査読・再現性の確認、対象領域の拡張という工程が残る。読者は公式発表の論文・反例構成を一次情報として確認したうえで、自社の課題領域で同種のタスクが定義可能かを切り分けることが次の一手になる。