OpenAI、AIモデルがエルデシュの50年来の単位距離問題予想に反例を発見と主張

数学的難問への挑戦

OpenAIが、汎用推論モデルの一つがエルデシュの平面単位距離問題における長年の予想上限を反証する構成を発見したと発表した。r/MachineLearningで共有され活発な議論を呼んだ。

数学的内容

単位距離問題は、平面上のn点の集合で単位距離の組が最大いくつ存在できるかを問う。従来の予想ではこの上限がほぼ線形なn^(1+O(1/log log n))付近とされていた。OpenAIの結果は、特定のδ > 0と無限に多くのnに対してn^(1+δ)以上の単位距離を持つ有限点集合の存在を示す。

検証プロセス

モデルが構成を生成し、AIによる採点パイプラインが一次確認した後、数学者が検討と修正を行った。証明のPDFと要約された推論過程も公開された。

透明性への疑問

ML研究者の主要な懸念は透明性だ。モデル名、サンプリング設定、試行回数、計算コスト、採点パイプラインの詳細が非公開のままだ。「真の自律的数学的推論なのか大規模探索から選ばれた結果なのか」という議論が残る。