ポール・エルデシュが1946年に「単位距離問題」を提示してから8十年後、汎用AIが長年にわたる予想上限を上回る配置を生成し、あるδ>0に対して少なくともn^(1+δ)個の単位距離ペアが存在することを証明した。プリンストンの数学者たちがこの結果を検証しており、ティム・ゴーワーズやアルル・シャーカーのような研究者が「重要な前進だ」と評価している。
- 要点：
- OpenAIはポール・エルデシュの1946年のパズルを解き、n^(1+δ)の単位距離構成を示した。
- プリンストンが結果を検証し、数学分野でAIに2026年の信頼感が追い風となった。
- ティム・ゴーワーズは、この前進が幾何学を超えて暗号や証明にも影響し得ると言う。
80歳の幾何学パズルがようやく動いたのは、OpenAIのシステムが、長年の期待を上回った、にわかに信じがたい構成をつなぎ合わせたときだった。単位距離問題は、1946年にポール・エルデシュが提示し、「平面上のn点のうち、ちょうど1単位離れた点のペアがどれだけ存在し得るか」を問う。AIは、古典的な定石が許すよりも速く増える配置を見つけた。プリンストンの数学者がその作業を確認し、ティム・ゴーワーズやアルル・シャーカーのような重鎮も注目した。単なる自慢の域を越えて、この結果は数学における新しい種類の協力者、すなわち、一般的な推論を用いて人間の経験則を押し広げる存在の可能性を示唆している。
AIが画期的な解決で80年続いた数学的謎を解明
数十年単位の問題が、ついに解かれた
古典的なアプローチは方形グリッド上に点を配置し、距離1のペアをより多く引き出すためにスケールを調整した。その方法は、増加の伸びが線形よりわずかに大きい、つまりnが、nが大きくなるにつれてほとんど変わらない程度に僅かに上回る係数によって掛け算されるような成長を示唆していた。この分野はやがて、「最良の下界はn^(1+o(1))の近くにあり、nをわずかに上回るが、大きく飛躍はしない」という考え方に落ち着いた。
どうやってAIは予想を上回ったのか
関係した研究者によれば、OpenAIの内部モデルが、長らく到達不可能だと考えられてきた閾値を越える新しい点配置の系を提案した。システムは、nが増えても色あせない、0より大きいある固定δに対して、少なくともn^(1+δ)個の単位距離ペアを持つ構成を生成した。これは単なる誤差のことではなく、確かな多項式的な改善だ。
その手法は、幾何学的な洞察と高度な代数的数論を融合しており、空間の数え上げパズルに対しては意外な道具立てだった。数学に特化したエンジンから生まれたわけではない。代わりに、評価中の汎用推論モデルのもとで生じたもので、探索空間が非常に広いときでも領域をまたいで推論できる、より広い推理能力の可能性を示している。
専門家が確認し、分野が称賛
プリンストン大学の独立した数学者たちがAIの構成をレビューし、人々の話によれば結果を確認した。ティム・ゴーワーズ卿やアルル・シャーカーを含む著名な声は、この前進を分野にとって意味のある一歩だと称賛した。AIが適切な「レンズ」を見つけたことで、長く動かなかった新しい下界がついに動いた——まさにその事例だ。
数学とその先への示唆
一般化モデルが、根強い予想をわずかにでも押し上げるとはどういう意味だろうか。第一に、それは機械が候補となる構造を提示し、人間がそれを厳密にテストするようなワークフローを示唆している。幾何学に限らず、組合せ論、コーディング理論、暗号理論のような分野でも、稀な構成が鍵になる証明では、同様の協力が見込める可能性がある。
