跳到主要内容

其他机构的公布值

数学证明题 (ProofBench)

用数学竞赛和研究生水平的证明题,让模型写出证明并对其正确性评分的任务。

如何看这张表

  • 越靠上评价越高,像“第 1〜⁠2 名”这样以范围显示的模型之间的差在误差范围内。
  • 评价是任务制作机构等公布的值。
  • 测量条件可能因模型而异,细微的差异不必在意。
  • 价格是每 100 万 token 的参考,依次为让它读的部分、让它写的部分。
  • 长度是一次能让它读的文本量 (token)。
排名模型开发方正确率
(%)
正确率的刻度 0〜⁠100
输入 $
/100 万
输出 $
/100 万
一次能读的
长度
支持权重发布日期价格与规格
1〜5Claude Fable 5.1Anthropic评价 100.0$10$501MAnthropic 发布 2026-⁠09 价格 $10 / $50 长度 1M
1〜5Claude Opus 5.5Anthropic评价 100.0$4$201MAnthropic 发布 2026-⁠09 价格 $4 / $20 长度 1M
1〜5Claude Sonnet 5.5Anthropic评价 100.0$2$101MAnthropic 发布 2026-⁠09 价格 $2 / $10 长度 1M
1〜9Claude Opus 5Anthropic评价 99.0 ±8.2$5$251MAnthropic 发布 2026-⁠07 价格 $5 / $25 长度 1M
4〜8Gemini 4 ArgonGoogle评价 99.0$2$101.05MGoogle 发布 2026-⁠09 价格 $2 / $10 长度 1.05M
4〜8GPT-6.1 SolOpenAI评价 99.0$2$101.05MOpenAI 发布 2026-⁠09 价格 $2 / $10 长度 1.05M
4〜8GPT-6 AstraOpenAI评价 99.0$10$501.05MOpenAI 发布 2026-⁠09 价格 $10 / $50 长度 1.05M
1〜10Claude Fable 5Anthropic评价 95.0 ±8.3$10$501MAnthropic 发布 2026-⁠06 价格 $10 / $50 长度 1M
8〜11Claude Haiku 5.5Anthropic评价 89.0$0.1$0.51MAnthropic 发布 2026-⁠10 价格 $0.1 / $0.5 长度 1M
7〜14Kimi K3⁠Moonshot评价 87.0 ±9.0$3$151.05MMoonshot 发布 2026-⁠07 价格 $3 / $15 长度 1.05M
10〜13Muse WonderMeta评价 84.0$4$201.05MMeta 发布 2026-⁠10 价格 $4 / $20 长度 1.05M
9〜16GPT-5.6 SolOpenAI评价 83.0 ±8.2$4$201.05MOpenAI 发布 2026-⁠07 价格 $4 / $20 长度 1.05M
11〜14GPT-6 SolOpenAI评价 83.0$2$101.05MOpenAI 发布 2026-⁠09 价格 $2 / $10 长度 1.05M
10〜18Claude Sonnet 5Anthropic评价 77.0 ±9.3$2$101MAnthropic 发布 2026-⁠06 价格 $2 / $10 长度 1M
13〜17Tencent HY4 (preview)⁠Tencent评价 75.0———Tencent 发布 2026-⁠08 价格 — 长度 —
13〜18GPT-5.6 TerraOpenAI评价 74.0 ±8.9$2$121.05MOpenAI 发布 2026-⁠07 价格 $2 / $12 长度 1.05M
15〜18MiMo-V2.6 Pro⁠Xiaomi评价 70.0$0.435$0.871.05MXiaomi 发布 2026-⁠09 价格 $0.435 / $0.87 长度 1.05M
14〜22Claude Opus 4.8Anthropic评价 69.0 ±9.1$5$251MAnthropic 发布 2026-⁠05 价格 $5 / $25 长度 1M
18〜21GPT-6 LunaOpenAI评价 64.0$0.1$0.51.05MOpenAI 发布 2026-⁠09 价格 $0.1 / $0.5 长度 1.05M
19〜23MiMo-V2.6 Flash⁠Xiaomi评价 63.0$0.14$0.281.05MXiaomi 发布 2026-⁠09 价格 $0.14 / $0.28 长度 1.05M
18〜31GPT-5.6 LunaOpenAI评价 60.0 ±9.8$0.2$1.21.05MOpenAI 发布 2026-⁠07 价格 $0.2 / $1.2 长度 1.05M
21〜28Gemini 3.7 FlashGoogle评价 58.0$0.75$3.751.05MGoogle 发布 2026-⁠08 价格 $0.75 / $3.75 长度 1.05M
21〜28Muse Spark 1.3Meta评价 58.0$1.25$4.251.05MMeta 发布 2026-⁠09 价格 $1.25 / $4.25 长度 1.05M
21〜28Qwen3.8 MaxAlibaba评价 58.0$2$61MAlibaba 发布 2026-⁠08 价格 $2 / $6 长度 1M
24〜29DeepSeek-V4 Flash (2026-⁠07)⁠DeepSeek评价 56.0——1MDeepSeek 发布 2026-⁠07 价格 — 长度 1M
18〜35GPT-5.4OpenAI评价 56.0 ±9.7$2.5$151.05MOpenAI 发布 2026-⁠03 价格 $2.5 / $15 长度 1.05M
20〜35Claude Opus 4.7Anthropic评价 54.0 ±9.8$5$251MAnthropic 发布 2026-⁠04 价格 $5 / $25 长度 1M
25〜31DeepSeek-V4.1 Flash⁠DeepSeek评价 54.0——1MDeepSeek 发布 2026-⁠09 价格 — 长度 1M
26〜32Grok 4.6xAI评价 51.0$2$6500KxAI 发布 2026-⁠08 价格 $2 / $6 长度 500K
21〜38Claude Opus 4.6Anthropic评价 50.0 ±9.8$5$251MAnthropic 发布 2026-⁠02 价格 $5 / $25 长度 1M
28〜33DeepSeek-V4 Pro (2026-⁠08)⁠DeepSeek评价 50.0$0.66$1.981MDeepSeek 发布 2026-⁠08 价格 $0.66 / $1.98 长度 1M
21〜38GPT-5.5OpenAI评价 50.0 ±9.8$5$301.05MOpenAI 发布 2026-⁠04 价格 $5 / $30 长度 1.05M
29〜34GLM-5.3⁠Z.ai评价 49.0$1.4$4.41MZ.ai 发布 2026-⁠08 价格 $1.4 / $4.4 长度 1M
30〜36Gemini 3.8 FlashGoogle评价 48.0$0.75$3.751.05MGoogle 发布 2026-⁠09 价格 $0.75 / $3.75 长度 1.05M
26〜41Claude Sonnet 4.6Anthropic评价 45.0 ±9.8$3$151MAnthropic 发布 2026-⁠02 价格 $3 / $15 长度 1M
33〜40Muse Spark 1.2Meta评价 43.0$1.25$4.251.05MMeta 发布 2026-⁠08 价格 $1.25 / $4.25 长度 1.05M
34〜41Step 5 (preview)StepFun评价 42.0$1.0461$2.9891MStepFun 发布 2026-⁠09 价格 $1.0461 / $2.989 长度 1M
32〜43Muse Spark 1.1Meta评价 39.0 ±9.6$1.25$4.251MMeta 发布 2026-⁠07 价格 $1.25 / $4.25 长度 1M
35〜45Claude Opus 4.5Anthropic评价 36.0 ±9.4$5$25200KAnthropic 发布 2025-⁠11 价格 $5 / $25 长度 200K
35〜45Gemini 3.6 FlashGoogle评价 36.0 ±9.5$0.75$3.751.05MGoogle 发布 2026-⁠07 价格 $0.75 / $3.75 长度 1.05M

最高正确率的变化

2025-08-07发布日期2026-10-12
如何阅读本页
  • 数值为被判定为正确证明的比例。这是收集了任务制作机构等公布的值。
  • 正确率是答对题目的比例。差 1 个百分点相当于 100 题中的 1 题。
  • 支持一栏的图标从左起依次为:能使用工具 / 能读图片 / 能以固定格式 (JSON) 回答 (浅色标记为不支持或不明)。
  • 开放权重是指模型的内容 (权重) 已经公开、在自己的电脑或服务器上也能运行的模型。没有开放权重标记的模型,一般通过开发方的服务 (应用或 API) 使用 (也有没有权重信息的模型)。
  • 模型名称旁的 ChatGPT 等,是该开发方面向大众提供的服务名称。该模型能否在那个服务中选用,请在服务一方确认。

数据:Arena / Epoch AI / Swallow LLM team (CC BY 4.0) / Models.dev (MIT),更新于 2026-⁠10-⁠24,数据来源