2026年5月20日 09:00

OpenAIモデル、80年の幾何予想を反証

An OpenAI model has disproved a central conjecture in discrete geometry

3行まとめ

離散幾何学における「単位距離問題」は、エルデシュが1946年に提起した80年来の難問。平面上の点群において、互いに単位距離だけ離れた点のペアが最大いくつできるかを問うもので、長年多くの数学者が挑んできた中心的予想として位置付けられてきた。

OpenAIは、自社のAIモデルがこの単位距離問題に取り組み、離散幾何学の中心的予想の一つを反証したと発表した。AIが既存の数学的予想を覆す結果を導き出した形となり、AI駆動の数学研究におけるマイルストーンと位置付けられている。

純粋数学の未解決問題にAIモデルが実質的な貢献を示した事例として注目される。今後、数学者の研究プロセスにAIを組み込む流れが加速し、他の長年の未解決問題への応用も進む可能性のある領域として位置付けられる。

AIが80年来の数学予想を反証した初の事例。AIモデルの推論能力が学術研究の最前線に到達したことを示す節目となる。