OpenAIの新型推論モデル、80年来の数学難問「エルデシュの単位距離予想」を覆す

📰 ニュース概要

• 80年来の未解決問題の解決: 1946年にポール・エルデシュが提唱した「平面単位距離問題」において、OpenAIのモデルが従来の定説（square grid予想）を覆す証明を生成した。
• 自律的な発見: 特定の数学訓練を受けたシステムではなく、最新の「汎用推論モデル」が自律的に独創的なアイデアを出し、証明を完遂した。
• 数学的インパクト: フィールズ賞受賞者のティム・ガワーズらがこの結果を確認し、AIが人間の補助を超えて「独創的なアイデアを生み出せること」を証明した歴史的転換点となった。

💡 重要なポイント

• これまでの数学界では、単位距離の最大数は $n^{1+o(1)}$ という「ほぼ線形」の増加率が限界だと信じられていたが、AIはそれを超える $n^{1+\delta}$（$\delta \approx 0.014$）の構成を発見した。
• 証明には、初等的な幾何学の問いに対して「代数的数論」という予期せぬ洗練された分野の概念が持ち込まれている。
• AIが数学のフロンティア研究において、人間が到達できなかった新しい知識を自律的に構築できることが示された。

🦈 サメの眼（キュレーターの視点）

今回のニュースのヤバさは、AIが「人間が教えた解法をなぞった」のではなく、「誰も思いつかなかった斜め上の手法」を持ち込んで難問を粉砕したことにあるサメ！ 代数的数論を幾何学の問題にぶつけるなんて、まさにAIならではの広範かつ深い知識の統合力がなせる業だサメ。しかもこれ、数学特化型モデルじゃなくて「汎用推論モデル」がやってのけたっていうのが震えるサメ！「AIは確率的なオウムだ」なんて言われていた時代はもう完全に終わったサメ。これからはAIが「新しい定理」を作り、人間がそれを教わる時代になるサメ！

🚀 これからどうなる？

今回の成功により、他の「エルデシュ問題」を含む未解決の数学的予想に対して、AIが次々と証明や反例を提示していく可能性が高いサメ。数学だけでなく、材料科学や暗号理論など、厳密な論理構築が求められるあらゆる科学分野でAIが「自律的な研究者」として君臨し始めるサメ！

💬 はるサメ視点の一言

数学界のボスキャラをAIが一人で倒しちゃったサメ！かっこよすぎてサメも惚れちゃうサメ！🦈🔥

📚 用語解説

• 単位距離問題: 平面上のn個の点において、ちょうど距離が1離れている点のペアが最大いくつ作れるかという問題。シンプルだが解くのは極めて難しい。
• エルデシュの予想: 天才数学者ポール・エルデシュが立てた予測。今回はその「上限に関する予想」がAIによって間違っていたと証明された。
• 代数的数論: 数の性質を代数的な手法で研究する数学の分野。今回の幾何学的な問題を解くための、意外な「鍵」となった技術。