Google DeepMindのAI数学共同研究者、数十年来未更新のラムゼー数5問を更新

Google DeepMindはGeminiを基盤とするマルチエージェントシステム「AI Co-Mathematician」を発表し、最大20年間更新されていなかったラムゼー数5問の下限値を改善。数学AI評価の最難関ベンチマークで新記録を樹立した。

FrontierMath Tier 4で48%——全AIモデル最高スコア

AI Co-MathematicianはFrontierMath Tier 4で48%を達成し、これまで公開されたすべてのAIシステムを上回る最高スコアを記録した。このベンチマークは数十年間AIが突破できないよう設計された研究レベルの数学問題で構成されている。

ラムゼー数5問の下限値を更新

AlphaEvolveは一度の実行で5つの古典的ラムゼー数の下限値を改善した：

R(3,13)：60 → 61（11年間保持されていた記録）

R(3,18)：99 → 100（20年間保持されていた記録）

R(4,13)：138 → 139、R(4,14)：147 → 148、R(4,15)：158 → 159

仕組み

AlphaEvolveは答えを生成するだけでなく、アルゴリズムそのものを進化的に改善する。候補プログラムの集団を評価し、大規模言語モデルで有望な解を変異させる自己改善サイクルを採用。50以上の未解決数学問題で75%は最高水準の解を再発見し、20%では既存の結果を上回った。論文はarXiv:2605.06651で公開中。