OpenAIのAIが数学の難問に挑む：Erdős予想反証までの軌跡と推論能力の進化

はじめに

近年、AIの進化は目覚ましく、特に推論能力の分野で驚くべき進歩を遂げています。本記事では、OpenAIの推論研究チームが達成した画期的な数学的発見について深掘りします。国際数学オリンピック（IMO）での金メダル獲得から、80年間未解決だったErdősの単位距離予想の反証に至るまで、その舞台裏とAIの推論能力がいかに進化してきたかをご紹介します。

国際数学・情報オリンピック (IMO/IOI) とAIの挑戦

AIが難しい問題に挑戦する際のベンチマークとして、国際数学オリンピック（IMO）と国際情報オリンピック（IOI）が挙げられます。これらは高校生を対象とした極めて難易度の高いコンテストで、各試験では4時間半から5時間のセッションでわずか3つの問題を解く必要があります。長らく、これらの問題で人間のトップパフォーマーと同等の成績を出すことは、AIにおける「暗黙のグランドチャレンジ」とされてきました。

OpenAIのLijie Chen氏は、かつてIOIの参加者であり、AIモデルがこれらの大会で金メダルを獲得する可能性に衝撃を受けました。当時カリフォルニア大学バークレー校の助教授だったChen氏は、「モデルをより賢くすることが世界により大きな影響を与えるかもしれない」と感じ、2023年10月にAlex Wei氏と話し合い、OpenAIに参加することを決意しました。

推論能力の鍵：「推論時の計算」（Inference Time Compute）

Alex Wei氏が推論研究に惹かれたのは、「モデルが明らかにできないこと」に挑戦する魅力があったからです。2023年末から2024年初頭にかけて、当時のモデルは小学校レベルの算数問題にも苦戦しており、「これらのモデルが数学で合理的なことをできるようになるか」という問いが研究の出発点でした。

彼らの研究の中心にあるのは「推論時の計算（Inference Time Compute）」という概念です。これは、モデルが即座に回答するのではなく、「より長く考える」時間を与えるアプローチを指します。以前のモデルは、ほとんど考えずに即座に回答を出力していましたが、推論時の計算を導入することで、モデルに試行錯誤し、回答を改善する機会が与えられました。この能力により、モデルは瞬時には不可能だった問題を解決できるようになり、その知能を大きく向上させることができました。

驚異的な進展：IMO金メダルからErdős予想の反証へ

OpenAIのチームは、IMOでの金メダル獲得という目標に対し、当初多くの研究者が2026年頃と予想していたのに対し、わずか10ヶ月で達成しました。この進歩の猛烈なペースは、研究者たち自身も驚くほどでした。IMOレベルの問題は、現在のAIにとってはもはや過去のものに感じられるほどです。

そして、その能力はさらに驚くべき成果へと繋がりました。モデルは、組合せ幾何学分野において80年間未解決だったErdősの単位距離予想を反証する証明を生成することに成功したのです。この問題は、「平面上の点の集合において、互いにちょうど1インチ離れている点のペアはいくつ存在しうるか」という問いと、その数が点の数に対して漸近的にどのように増加するかを扱います。

Erdősの元の予想は、平面上で単位距離にある点をできるだけ多く配置する最適な解決策は、正方形グリッドに配置することだというものでした。しかし、モデルが示したのは、正方形グリッドは全く最適に近くなく、高度な数論を用いた異なる構成によって、はるかに優れた結果が得られるということでした。この発見は、汎用モデルによって達成された点でも非常に画期的です。

Hongxun Wu氏は、モデルの能力の上限をテストするために、Erdősの問題のサブセットを選んで試したと語っています。彼とAlex Wei氏がそれぞれ異なる内部モデルをテストし、同時に正しい解を発見した時は、チーム全員が興奮で眠れないほどだったといいます。

今後の展望と課題

現在のAIの推論能力の急速な発展にもかかわらず、まだ大きな課題が残されています。例えば、コンピューターサイエンスにおける未解決の難問である「P vs NP問題」のような、さらに深遠な理論的問題の解決です。Lijie Chen氏はこの問題について、解決には「新しい理論を構築する必要があり、多くの新しいアイデアを記した書籍を書く必要があるかもしれない」と述べており、現状ではまだ遠い目標であると考えています。

しかし、わずか数ヶ月でIMOの金メダルレベルの問題が過去のものになったことを考えると、未来に何が起こるかは誰にも予測できません。AIの進化は今後も続くことでしょう。

まとめ

OpenAIの推論研究チームは、「推論時の計算」というアプローチを通じて、AIの能力を飛躍的に向上させました。これにより、国際数学オリンピックでの金メダル獲得、そして80年間未解決だったErdősの単位距離予想の反証といった、人間にとっても極めて困難な数学的問題を解決するに至りました。これらの成果は、AIが単なるデータ処理ツールを超え、複雑な推論と問題解決能力を持つ存在へと進化していることを明確に示しています。今後のAIがどのような新たな発見をもたらすのか、その可能性に大いに期待が寄せられます。

参考動画: https://www.youtube.com/watch?v=wNWz5Hbh5VQ