メインコンテンツへスキップ

他機関の公表値

数学の証明問題 (ProofBench)

数学の競技会や大学院の水準の証明問題で、モデルに証明を書かせて正しさを採点する課題です。

この表の見方

  • 上にあるほど評価が高く、「1〜⁠2 位」のように範囲で出るモデルどうしの差は誤差の範囲です。
  • 評価は、課題を作った機関などが公表した値です。
  • 測った条件がモデルごとに違うことがあるので、小さな差は気にしなくてよいです。
  • 価格は 100 万トークンあたりの目安で、読ませる分、書かせる分の順です。
  • 長さは、一度に読ませられる文章の量 (トークン) です。
順位モデル開発元正答率
(%)
正答率の目盛 0〜⁠100
入力 ¥
/100 万
出力 ¥
/100 万
一度に
読める長さ
対応重み公開日価格と仕様
1〜5Claude Fable 5.1Anthropic評価 100.0¥1,600¥7,800100 万Anthropic 公開 2026-⁠09 価格 ¥1,600 / ¥7,800 長さ 100 万
1〜5Claude Opus 5.5Anthropic評価 100.0¥630¥3,100100 万Anthropic 公開 2026-⁠09 価格 ¥630 / ¥3,100 長さ 100 万
1〜5Claude Sonnet 5.5Anthropic評価 100.0¥310¥1,600100 万Anthropic 公開 2026-⁠09 価格 ¥310 / ¥1,600 長さ 100 万
1〜9Claude Opus 5Anthropic評価 99.0 ±8.2¥780¥3,900100 万Anthropic 公開 2026-⁠07 価格 ¥780 / ¥3,900 長さ 100 万
4〜8Gemini 4 ArgonGoogle評価 99.0¥310¥1,600約 105 万Google 公開 2026-⁠09 価格 ¥310 / ¥1,600 長さ 約 105 万
4〜8GPT-6.1 SolOpenAI評価 99.0¥310¥1,600105 万OpenAI 公開 2026-⁠09 価格 ¥310 / ¥1,600 長さ 105 万
4〜8GPT-6 AstraOpenAI評価 99.0¥1,600¥7,800105 万OpenAI 公開 2026-⁠09 価格 ¥1,600 / ¥7,800 長さ 105 万
1〜10Claude Fable 5Anthropic評価 95.0 ±8.3¥1,600¥7,800100 万Anthropic 公開 2026-⁠06 価格 ¥1,600 / ¥7,800 長さ 100 万
8〜11Claude Haiku 5.5Anthropic評価 89.0¥16¥78100 万Anthropic 公開 2026-⁠10 価格 ¥16 / ¥78 長さ 100 万
7〜14Kimi K3⁠Moonshot評価 87.0 ±9.0¥470¥2,400約 105 万Moonshot 公開 2026-⁠07 価格 ¥470 / ¥2,400 長さ 約 105 万
10〜13Muse WonderMeta評価 84.0¥630¥3,100約 105 万Meta 公開 2026-⁠10 価格 ¥630 / ¥3,100 長さ 約 105 万
9〜16GPT-5.6 SolOpenAI評価 83.0 ±8.2¥630¥3,100105 万OpenAI 公開 2026-⁠07 価格 ¥630 / ¥3,100 長さ 105 万
11〜14GPT-6 SolOpenAI評価 83.0¥310¥1,600105 万OpenAI 公開 2026-⁠09 価格 ¥310 / ¥1,600 長さ 105 万
10〜18Claude Sonnet 5Anthropic評価 77.0 ±9.3¥310¥1,600100 万Anthropic 公開 2026-⁠06 価格 ¥310 / ¥1,600 長さ 100 万
13〜17Tencent HY4 (preview)⁠Tencent評価 75.0———Tencent 公開 2026-⁠08 価格 — 長さ —
13〜18GPT-5.6 TerraOpenAI評価 74.0 ±8.9¥310¥1,900105 万OpenAI 公開 2026-⁠07 価格 ¥310 / ¥1,900 長さ 105 万
15〜18MiMo-V2.6 Pro⁠Xiaomi評価 70.0¥68¥140約 105 万Xiaomi 公開 2026-⁠09 価格 ¥68 / ¥140 長さ 約 105 万
14〜22Claude Opus 4.8Anthropic評価 69.0 ±9.1¥780¥3,900100 万Anthropic 公開 2026-⁠05 価格 ¥780 / ¥3,900 長さ 100 万
18〜21GPT-6 LunaOpenAI評価 64.0¥16¥78105 万OpenAI 公開 2026-⁠09 価格 ¥16 / ¥78 長さ 105 万
19〜23MiMo-V2.6 Flash⁠Xiaomi評価 63.0¥22¥44約 105 万Xiaomi 公開 2026-⁠09 価格 ¥22 / ¥44 長さ 約 105 万
18〜31GPT-5.6 LunaOpenAI評価 60.0 ±9.8¥31¥190105 万OpenAI 公開 2026-⁠07 価格 ¥31 / ¥190 長さ 105 万
21〜28Gemini 3.7 FlashGoogle評価 58.0¥120¥590約 105 万Google 公開 2026-⁠08 価格 ¥120 / ¥590 長さ 約 105 万
21〜28Muse Spark 1.3Meta評価 58.0¥200¥670約 105 万Meta 公開 2026-⁠09 価格 ¥200 / ¥670 長さ 約 105 万
21〜28Qwen3.8 MaxAlibaba評価 58.0¥310¥940100 万Alibaba 公開 2026-⁠08 価格 ¥310 / ¥940 長さ 100 万
24〜29DeepSeek-V4 Flash (2026-⁠07)⁠DeepSeek評価 56.0——100 万DeepSeek 公開 2026-⁠07 価格 — 長さ 100 万
18〜35GPT-5.4OpenAI評価 56.0 ±9.7¥390¥2,400105 万OpenAI 公開 2026-⁠03 価格 ¥390 / ¥2,400 長さ 105 万
20〜35Claude Opus 4.7Anthropic評価 54.0 ±9.8¥780¥3,900100 万Anthropic 公開 2026-⁠04 価格 ¥780 / ¥3,900 長さ 100 万
25〜31DeepSeek-V4.1 Flash⁠DeepSeek評価 54.0——100 万DeepSeek 公開 2026-⁠09 価格 — 長さ 100 万
26〜32Grok 4.6xAI評価 51.0¥310¥94050 万xAI 公開 2026-⁠08 価格 ¥310 / ¥940 長さ 50 万
21〜38Claude Opus 4.6Anthropic評価 50.0 ±9.8¥780¥3,900100 万Anthropic 公開 2026-⁠02 価格 ¥780 / ¥3,900 長さ 100 万
28〜33DeepSeek-V4 Pro (2026-⁠08)⁠DeepSeek評価 50.0¥100¥310100 万DeepSeek 公開 2026-⁠08 価格 ¥100 / ¥310 長さ 100 万
21〜38GPT-5.5OpenAI評価 50.0 ±9.8¥780¥4,700105 万OpenAI 公開 2026-⁠04 価格 ¥780 / ¥4,700 長さ 105 万
29〜34GLM-5.3⁠Z.ai評価 49.0¥220¥690100 万Z.ai 公開 2026-⁠08 価格 ¥220 / ¥690 長さ 100 万
30〜36Gemini 3.8 FlashGoogle評価 48.0¥120¥590約 105 万Google 公開 2026-⁠09 価格 ¥120 / ¥590 長さ 約 105 万
26〜41Claude Sonnet 4.6Anthropic評価 45.0 ±9.8¥470¥2,400100 万Anthropic 公開 2026-⁠02 価格 ¥470 / ¥2,400 長さ 100 万
33〜40Muse Spark 1.2Meta評価 43.0¥200¥670約 105 万Meta 公開 2026-⁠08 価格 ¥200 / ¥670 長さ 約 105 万
34〜41Step 5 (preview)StepFun評価 42.0¥160¥470100 万StepFun 公開 2026-⁠09 価格 ¥160 / ¥470 長さ 100 万
32〜43Muse Spark 1.1Meta評価 39.0 ±9.6¥200¥670100 万Meta 公開 2026-⁠07 価格 ¥200 / ¥670 長さ 100 万
35〜45Claude Opus 4.5Anthropic評価 36.0 ±9.4¥780¥3,90020 万Anthropic 公開 2025-⁠11 価格 ¥780 / ¥3,900 長さ 20 万
35〜45Gemini 3.6 FlashGoogle評価 36.0 ±9.5¥120¥590約 105 万Google 公開 2026-⁠07 価格 ¥120 / ¥590 長さ 約 105 万

最高の正答率の推移

2025-08-07公開日2026-10-12
このページの読み方
  • 値は正しい証明と判定された割合です。課題を作った機関などが公表した値を集めた物です。
  • 正答率は解けた問題の割合です。差 1 ポイントは 100 問で 1 問ぶんです。
  • 対応の列の絵は左から、ツールを使える / 画像を読める / 決まった形 (JSON) で答えられる、です (薄い印は非対応か不明)。
  • オープンウェイトは、モデルの中身 (重み) が公開されていて、自分のパソコンやサーバーでも動かせるモデルです。オープンウェイトの印の無いモデルは、開発元のサービス (アプリや API) で使うのが基本です (重みの情報が無いモデルもあります)。
  • モデル名の横の ChatGPT などは、その開発元が一般向けに出しているサービスの名です。そのモデルがそのサービスで選べるかは、サービスの側で確かめてください。
  • 円は 1 ドル 157 円 (2026 年 10 月 23 日の欧州中央銀行の参考レート) で換算し、上 2 桁に丸めた目安です。

データ: Arena / Epoch AI / Swallow LLM team (CC BY 4.0) / Models.dev (MIT)、更新 2026-⁠10-⁠24、データの出典