数学に強いAIはどれ？AIME首位はGemini、ただしベンチマークだけでは決められない

つまり、「AIMEのリーダーボードでどのモデルが首位か」という質問なら、Gemini 3.1 Pro Previewが最も素直な答えです。ただし、AIMEで強いことは、すべての数学問題で最良であることを自動的には意味しません。

1つの順位表だけでは決めきれない

AIベンチマークは、評価サイトや出題範囲によって上位モデルが変わることがあります。Vals AIではGemini 3.1 Pro PreviewがAIME首位ですが、LLM StatsのAIME 2025リーダーボードではGPT-5.2 ProとGPT-5.2が1位の項目として示されています。

また、上位モデル同士の差もかなり詰まっています。BenchLMは、AIME 2025では上位モデルが95%超、HMMT 2025では90%超に達していると報告しています。

ここまで高得点帯に密集すると、実際の選択では「0.数%の順位差」よりも、次のような点が効いてきます。

• 解説が理解しやすいか
• 途中式に破綻が少ないか
• 同じ問題を少し変えても安定して解けるか
• 回答が速いか
• APIや有料版として使う場合の料金が見合うか
• 自分の問題形式、たとえば文章題、証明、表計算、コード実行に合っているか

公開ベンチマークには「見たことがある問題」のリスクがある

AIMEは有用な指標ですが、完全に新しい推論力だけを測っているとは限りません。Vals AIは、AIMEの問題と解答が公開されているため、モデルが事前学習中にそれらを見ていた可能性があると注意しています。

さらにVals AIは、モデルが新しい2025年の問題よりも古い2024年の問題で良い成績を出す傾向があるとも報告しており、データ混入や真の汎化性能について疑問が残るとしています。

そのため、AIMEで非常に高いスコアを出していることは「そのベンチマークに強い」という重要なシグナルではありますが、未公開の新作問題や、少し形式の違う問題でも同じだけ信頼できるとは限りません。

用途別：どのAIを選ぶべきか

リーダーボードを見るだけでなく、自分の問題で試す

学校の学習、個別指導、コンテスト対策、あるいは数学を使うプロダクト開発でAIを選ぶなら、まず公開リーダーボードで候補を絞り、その後に自分の用途に近い問題で試すのが現実的です。

おすすめの確認方法は次の通りです。

1. 各モデルに同じ新しい問題を出す。
2. 最終答えだけでなく、途中式や根拠も求める。
3. 必要に応じて、代入確認、別解、数値チェックを求める。
4. 最終答えの正誤だけでなく、「もっともらしいが間違った説明」も記録する。
5. 精度、説明の分かりやすさ、一貫性、速度、料金を総合して選ぶ。

短答式の競技数学に強いモデルが、段階的な学習指導、長い証明、記号計算、コードを使う定量分析でも常に最適とは限りません。逆に、順位表でわずかに下のモデルでも、自分の問題では説明が安定していて使いやすい場合があります。

結論

AIME型のベンチマーク数学に限れば、提供ソース上ではGemini 3.1 Pro PreviewがVals AIのAIMEで98.13%の首位です。

しかし、「数学に最も強いAI」を1つに決めるには根拠が足りません。上位モデルは競技数学ベンチマークで接戦になっており、リーダーボードによって首位の見え方も変わります。 さらに、公開AIME問題には学習データ混入のリスクがあります。

したがって、答えはこうです。AIME重視ならGemini 3.1 Pro Previewを最初に見る価値があります。実際に使うなら、複数の上位モデルを候補にして、自分の新しい問題で検証してから選ぶべきです。