OpenAIモデルが離散幾何学の中心的予想を反証

OpenAIは、同社が開発した人工知能モデルが数学の未解決問題「単位距離問題」を解決し、離散幾何学における中心的予想を覆したと発表した。この成果は、AIによる数学研究の新たなマイルストーンとして注目されている。

単位距離問題は1946年に数学者ポール・エルデシュによって提起された。平面上のn個の点に対して、互いの距離がちょうど1となる点のペアが最大でいくつ存在できるかを問うものである。エルデシュは上限と下限を示したが、下限の具体的な値は長らく不明だった。離散幾何学では、この数が多項式的に増加するという予想が広く信じられていた。

OpenAIのモデルは強化学習と記号推論を組み合わせ、数千台のコンピュータで分散計算を実施。大量の点配置を生成し、その中から隠れたパターンを発見することで、予想を上回る多数の単位距離ペアを持つ点集合を構築した。チームは厳密な検証を経て、これが反例として成立することを確認した。

この成果は、特定の問題解決に留まらず、AIが数学のフロンティアを探索する可能性を示す。数学界ではAIの数学的能力に対する見方は分かれるが、今回の成功は、明確な構造を持つ問題においてAIが強力なツールとなり得ることを証明した。OpenAIは今後、モデルをさらに改良し、他の数学難問への応用を計画している。