OpenAIモデル、80年来の数学難題を自律的に証明 — AI史上初の快挙

数学史上の歴史的快挙

2026年5月20日、OpenAIの汎用推論モデルが、ハンガリーの数学者ポール・エルデシュが1946年に提起した離散幾何学の核心的予想——平面単位距離問題——を自律的に反証した。AIが数学の著名な未解決問題を独自に証明したのは史上初であり、複数の独立した著名数学者によって検証された。

問題の概要

問いはシンプルだ：平面上にn個の点を置いたとき、ちょうど距離1の点ペアは最大何組作れるか？80年にわたり、数学者たちは正方格子配置が最適に近いと信じてきた。OpenAIのモデルは、格子を多項式的に改善する無限の新構成ファミリーを発見し、代数的整数論の概念を用いてそれを証明した。

独創的なアプローチ

特筆すべきは証明の方法だ。モデルは幾何学の問題を、通常の整数を拡張する数論の分野である代数的整数論と結び付けて解法を構築した。これは数学専用にトレーニングされたシステムではなく、汎用推論モデルによる成果だ。OpenAIによればこの証明の計算コストは1,000ドル未満だった。

専門家による検証

プリンストン大学の組合せ論の世界的権威ノガ・アロン、メラニー・ウッド、トーマス・ブルームが独立して証明を検証し、解説論文を共同発表した。特にブルームは、以前OpenAIが誤って主張したエルデシュ問題の解法を否定した人物であり、今回の検証には大きな信頼性がある。

サム・アルトマンの反応

OpenAI CEOのサム・アルトマンはXに「汎用モデルが数学の主要な未解決問題を解いた。これから何度もこう言うことになると思うが、これはかなり重要な節目だ。AIが世界についての理解を大きく広げてくれることにとても興奮しているが、今日は複雑な気持ちもある」と投稿した。

科学研究への示唆

今回の成果は、AIが既存作業の加速にとどまらず、真の科学的創造性を発揮し始めていることを示す。数学的発見の能力を持つAIは、医学・物理学・材料科学など幅広い分野で数十年来の未解決問題を解決する可能性を秘めており、科学研究の在り方そのものが変わりつつある。