AI-Papers
- OpenAIの推論特化型モデルが、離散幾何学の「単位距離問題」に関する80年間未解決の予想を反例の発見により否定した
- AIが既存の証明を検証するのではなく、人間の数学的直観では見落とされていた配置パターンを構築的に生成した点が特徴
- この事例は純粋数学におけるAIの発見能力を示し、証明支援を超えた新たな数学的パートナーとしての可能性を示唆している
80年間未解決の予想を覆す
OpenAIが2026年初頭に公開した研究によれば、同社の推論特化型AIモデルが、離散幾何学の「単位距離問題」に関連する予想を否定する反例を発見しました。単位距離問題とは、平面上に置いた点の集合のうち、互いの距離がちょうど1（単位距離）になる点のペアの数を最大にする配置を問うものです。
この分野では、点の個数ごとに単位距離ペアの上限値を予測する予想が1940年代から示されてきました。しかし80年以上にわたり、反例も証明も見つかっていませんでした。
研究チームによると、AIモデルは既存の数学的手法を当てはめるのではなく、探索アルゴリズムで大規模な配置パターンの候補を生成し、その中から予想を上回る数の単位距離ペアを持つ配置を見つけ出しました。OpenAIの説明では、この反例は人間の数学者が試みてきた対称性や規則的な配置とは異なり、非対称で複雑なパターンを含んでいたといいます。
AIによる構築的発見の意義
OpenAIの発表によれば、今回の成果は従来のコンピュータ支援証明とは性質が異なります。従来の手法では、人間が立てた仮説や証明の筋道をコンピュータが検証する形が主流でした。今回はAIが主導して探索を行い、人間が予測していなかった配置パターンを構築的に示した点に違いがあります。
研究チームは、AIが単なる計算機ではなく、数学的直観を超える発見の主体になり得ることを示した事例だとしています。反例となる配置は、対称性や規則性に基づく直観からは導かれにくいものでした。AIが人間の思考の枠組みとは異なるアプローチで数学的な真理に到達したことを示唆する結果といえます。
数学コミュニティへの影響
OpenAIによれば、この反例の発見は数学コミュニティの関心を集めており、複数の研究グループが検証を進めています。80年以上未解決とされてきた予想を初めて否定した事例となるため、離散幾何学の研究の方向性に影響を与える可能性があります。
この成果は、純粋数学におけるAIの役割を見直すきっかけにもなり得ます。これまでAIは定理証明の支援や数値計算の高速化といった補助的な役割が中心でした。今回、人間が見落としていた反例を自ら発見する能力を示したことで、AIが数学的発見の新たなパートナーとなり得ることが示されました。
OpenAIは、さらに高度な推論能力を持つモデルの開発を進めることで、数学以外の科学分野でも同様の発見支援が可能になると見込んでいます。
一方で、AIが生成した反例の妥当性を人間が理解し、検証するプロセスの重要性も指摘されています。AIの出力をそのまま受け入れるのではなく、数学的な厳密さを保ちながらAIと人間が協働する枠組みをどう作るかが、今後の課題となるでしょう。
