サイエンス
汚名返上から大発見へ。OpenAIの推論モデルが世界的数学者を唸らせた「代数学の魔法」
OpenAIの汎用推論モデルが、80年間未解決だったポール・エルデシュの「単位距離問題」における予想を反証した。AIは、幾何学問題を代数的整数論の「無限類体塔」と「チェボタレフの密度定理」を用いて高次元空間から平面に射影することで、距離が1となるペアの数を$n^{1.014}$にまで増やし、従来の$n^{1+c/\log\log n}$という下限を大きく上回る新たな証明構造を構築したのである。
Term
無限類体塔
別名: Infinite Class Field Tower
Overview
最終更新: 2026年7月9日代数的整数論における重要な概念で、ある代数体から出発して、特定の条件を満たす不分岐拡大を繰り返すことで得られる体の列（塔）が無限に続く状態を指す。1964年にゴロドとシャファレヴィッチによってその存在が証明された。幾何学的な問題に応用する場合、高次元空間における格子の対称性や性質を制御するために利用される。本記事では、OpenAIのモデルがこの概念を平面上の点配置問題に応用し、高次元の格子を平面に射影することで、従来の直感を越える密度の点集合を構築する鍵となった。