OpenAIモデルが離散数学の主要予想を反証：AIが新たな数学的事実を発見

OpenAIは、自社のAIモデルが離散数学分野の重要な未解決予想（conjecture）を反証する反例（counterexample）を発見したと公式発表した。AIが単純計算や定型的な証明を超え、創造的推論が必要な純粋数学研究に実質的な貢献を果たした事例として、学術界から注目を集めている。

離散数学はグラフ理論、組合せ論、整数論など、連続的でない数学的構造を扱う分野であり、アルゴリズム設計やコンピュータサイエンス全般の数学的基盤をなしている。長年未解決のまま残されてきた予想は、伝統的に数学者の直観と数年にわたる探求によってのみ進展が得られてきた。

今回の反証が注目される理由は、AIが「反例発見」という創造的な作業を行った点にある。反例の発見は、膨大な場合の数の中から理論を破る特殊な構造を見つけ出す必要があり、単純な計算能力だけでは不可能な作業だ。

AIによる数学研究の成果はこれまでにも存在する。2024年にはDeepMindのAlphaProofが国際数学オリンピック（IMO）の銀メダル水準の問題を解き、FunSearchプロジェクトは組合せ論の分野で新しいアルゴリズムを発見した。今回のOpenAIの成果はその流れを受け、純粋数学研究におけるAIの役割をさらに一段階引き上げたものと評価される。

今後、AIが人間の数学者と協力しながら未解決の難題を一つひとつ克服していく時代が近づいていることを示す重要な節目だ。