OpenAIの推論モデルが離散幾何学の「エルデシュ単一距離予想」を反証

概要

OpenAIの内部推論モデルが、離散幾何学における数十年未解決だったエルデシュの予想に対し、代数的数論を応用した反例を提示してこれを覆した。

詳細内容

OpenAIの内部モデル（推論特化型）が、平面上のn個の点集合における「単一距離（unit distance）」のペア数の上限に関するパウル・エルデシュの予想を反証した。エルデシュは、このペア数がほぼ線形（nの1+o(1)乗）であると予想していたが、AIは代数的数論の手法（Golod-Shafarevich定理など）を組合せ幾何学に適用し、nの1.014乗以上のペアを持つ構成が可能であることを理論的に示した。この成果は、AIが単なる知識の再構成に留まらず、異なる数学分野を横断して高度な概念を統合し、新発見を行える段階に達したことを示唆している。ティモシー・ガワーズ等の著名な数学者が検証に参加し、人間が気づかなかった「驚くべき接続」をAIが見出したことを高く評価する一方、数学研究の自動化に伴う「理解の外部化」や帰属の問題について、専門家の間で活発な議論が交わされている。

元記事を読む他のサマリーを見る