OpenAI の推論モデルが 80 年来未解決の離散幾何予想を反証、テレンス・タオらが検証・支持
OpenAI の新しい汎用推論モデルが、1946 年にポール・エルデシュが提唱した単位距離問題を解決。幾何学の基本的な仮説を覆す新しい構成を発見し、フィールズ賞受賞者テレンス・タオを含む著名数学者が同行声明で支持。複雑な推論能力の実証が、科学・工学全域への波及を示唆。
OpenAI が数学界の長年の難題を解決した。同社の新しい推論モデルが、1946 年にポール・エルデシュが提唱した単位距離問題(unit distance problem)について、従来の仮説を覆す新しい幾何学的構成を発見したのだ。
問題と解
この問題は離散幾何学の基礎的な予想の一つ。従来の研究では、「最適な構成は正方格子に似た規則的なパターンである」と信じられてきた。ところが OpenAI のモデルは、この仮説を破る、より優れた性能を発揮するまったく新しい構成ファミリーを導き出した。
信頼性の重要性
OpenAI は 2025 年 10 月に GPT-5 による数学の「虚偽の成果」で批判を受けており、今回の発表には慎重さが伴った。同社は検証を重視し、著名な数学者たちに成果を事前に共有。ノガ・アロン(Noga Alon)、メラニー・ウッド(Melanie Wood)、トーマス・ブルーム(Thomas Bloom)といった専門家たちが支持声明を発表することで、成果の信憑性を担保した。
推論能力の実証
興味深いのは、OpenAI がこの問題に特化したモデルを使用したわけではなく、「汎用推論モデル」を採用したということ。長い推論の連鎖を保持しながら、「複数の分野のアイデアを新しい方法で結びつける」能力を示した。
科学全域への波及
この成果は単なる数学の達成にとどまらない。生物学、物理学、工学、医学といった複数の分野で、AI が長期的で複雑な推論を要する問題をより効果的に解決できることを実証している。科学研究の加速における AI の役割が、一層明確になった瞬間だ。