OpenAIのモデルが離散幾何学の中心的予想を反証
原題: An OpenAI model has disproved a central conjecture in discrete geometry
なぜ重要か
AIが数学の主要未解決問題を自律的に解決した初事例で、AI推論能力の飛躍的進歩を示している
OpenAIの内部モデルが、約80年間未解決だったエルデシュの平面単位距離問題において、従来の予想を反証する証明を発見した。この問題は1946年にポール・エルデシュが提起した組合せ幾何学の有名な未解決問題で、AIが数学の主要な未解決問題を自律的に解決した初の事例となる。
1946年にポール・エルデシュが提起した平面単位距離問題は、平面上にn個の点を配置した時、距離が正確に1となる点の組がいくつ存在できるかという問題である。この問題は組合せ幾何学で最もよく知られた問題の一つで、説明は簡単だが解決は極めて困難とされてきた。
エルデシュの研究以来、数学者たちは「格子グリッド」構造が単位距離の組の数を最大化するほぼ最適解だと信じてきた。しかし、OpenAIの内部モデルがこの長年の予想を反証し、多項式的改善をもたらす無限個の例を提供する証明を発見した。
この証明は外部の数学者グループによって検証され、彼らは論文の意義と背景を説明する補完論文も執筆した。注目すべきは、この証明が数学専用に訓練されたシステムではなく、汎用推論モデルから生まれたことである。証明は代数数論の洗練されたアイデアを幾何学的問題に応用している。
フィールズ賞受賞者のティム・ガワーズは「AI数学のマイルストーン」と評価し、数論の専門家アルル・シャンカルは「現在のAIモデルは人間の数学者の助手を超えて、独創的なアイデアを持ち、それを完成させる能力がある」と述べている。