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

TL;DR: OpenAIの内部モデルが1946年にErdősが提唱した平面単位距離問題の予想を反証し、無限個の例を示して従来の平方格子構造より多項式的改善を達成した。外部数学者による検証を受けており、AIが数学の主流分野で自律的に解いた初の著名未解決問題となった。

OpenAIは、離散幾何学における80年間の研究対象だった「Erdős予想」を、内部モデルによって反証したと発表した。Paul Erdősが1946年に提唱した平面単位距離問題は、2005年の著作『Research Problems in Discrete Geometry』(Brass、Moser、Pach著)で「組合せ幾何学における最も知られ、かつ最もシンプルに説明できる問題の一つ」と記された。

予想の反証と証明内容

OpenAIのモデルは無限個の例を提供することで、Erdős予想を反証した。この証明は一般的な推論能力を持つモデルから生成されたもので、数学専用に訓練されたシステムではない。外部の数学者グループが証明を検証し、その議論を説明する論文も執筆している。

証明は代数的整数論の手法を用いており、無限類体塔とGolod–Shafarevich理論が活用されている。1984年のSpencer、Szemerédi、Trotter による研究以来、既知の上界はO(n^4/3)のままで、Erdősの1946年の構成以来下界もほぼ変わらないままだった。新しい構造はn^(1+δ)個の単位距離ペアを達成し、Will Sawinは今後の改良版でδ=0.014が可能であることを示した。

数学者からの評価

Noga Alonはこの問題を「Erdősのお気に入りの一つ」と述べ、Tim Gowersはこれを「AI数学における一つのマイルストーン」と評価した。Arul Shankarは「現在のAIモデルは人間の数学者の補助者にとどまらず、独創的で巧妙なアイデアを生み出し、それを実行に移す能力がある」と述べた。

Thomas Bloomは「このAI生成証明が重要か問う際に、問題について何か新しいことを学んだか、離散幾何学をより深く理解したかが問題だ」と指摘し、「この結果は数論的構造がこうした問題に対して予想以上に多くを語りかけていることを示し、それが非常に深い数論を要することを示している」と評価した。

筆者の見立て

• 代数的整数論と離散幾何学の予想外の結びつきが、関連する問題の探索に向けて数学者のための橋渡しを提供する可能性を示唆している
• 今後数ヶ月から数年の間に、多くの数学分野において長年の未解決問題がAIにより解決される同様の成功が見られるであろうと予想している
• より優れた数学的推論能力は、AIを強力な研究パートナーへと変え、困難な論理の流れを統合し、離れた知識領域のアイデアを結びつける可能性があると論じている
• AIが研究の創造的部分において重大な役割を担い始めようとしていると予想している

この記事は元記事の事実のみに基づいて自動生成されました。

出典

OpenAI「An OpenAI model has disproved a central conjecture in discrete geometry」https://openai.com/index/model-disproves-discrete-geometry-conjecture/