【チャッピーの奇策】OpenAIのGPTが約80年未解決の数学的予想を解決

　OpenAIが発表した成果は、ハンガリーの数学者ポール・エルデシュが1946年に提唱した「平面単位距離問題」に対する新たな証明である。この問題は、平面上に配置されたn個の点において、距離がちょうど1となるペアが最大で何組できるかを問う離散幾何学の難問である。エルデシュはペアの数が点の数をわずかに超える程度の速度でしか増加しないと予想していた。今回、OpenAIの開発した汎用推論モデルはこの予想を完全に覆し、特定の条件下においては予想をはるかに上回る多数のペアを無限に構築できることを数学的に立証した。

　証明の導出過程において、AIは幾何学の課題に対して一見無関係な「代数的整数論」の高度な概念を適用した。無限類体塔やゴロド・シャファレビッチ理論といった抽象数学の知識を自律的に融合させ、事前に与えられたプログラムや特定の証明戦略の探索に依存することなく全く新しい反例を構成した。この推論プロセスは、AIが単一の分野にとどまらず、異なる学問領域の知見を横断的に結びつけて未知の解法を編み出す能力を獲得したことを示している。


　出力された証明内容は、数学界の最高権威であるフィールズ賞を受賞したティモシー・ガワーズ氏をはじめとする複数の専門家チームによって厳密に検証された。ガワーズ氏は検証後、今回のAIによる結果を数学研究における画期的な成果と評価。「離散幾何学に大きな影響を与えることは間違いない」とその正しさを公式に認めた。検証に携わった専門家たちは、提出された証明が人間のトップクラスの研究者の精査に十分に耐えうる水準に達していると言及した。

　OpenAIは今回の成果について、AIが単なる人間の研究アシスタントという枠組みを超え、自律的にアイデアを創造して科学的発見をもたらす段階に到達したことを示す転換点であると説明している。複雑な論理構築に対して適切な知見を適用し新たな結論を導き出す推論能力が、将来的には数学以外の多様な分野の科学的研究を進展させる基盤になるとしている。