1. 模型
  2. DeepSeek
  3. AI Prover Performance Across Benchmarks
DeepSeekHugging Face · 2025年4月30日 · 官方

AI Prover Performance Across Benchmarks

AI provers performance across three benchmarks

Hugging Face数据分组柱状图DeepSeek-Prover and MathDeepSeek 全部模型DeepSeek-Prover-V2-671BDeepSeek-Prover-V2-7BKimina-Prover-Preview 72BBFS-Prover 7BSTP 7BGeodel-Prover 7BDeepSeek-V3-0324 (Informal)
发布者 DeepSeek 于 Hugging Face, 2025年4月30日. 来源: huggingface.co

API · Max

用 API 调用这张图

Max 套餐可以取这张图的数字(每个数字都带来源),格式为 JSON 或 CSV,附重画规格;也可以让智能体通过 MCP 调用。图表 id:53c4d79ea046。

路径返回套餐
GET/api/v1/charts/53c4d79ea046标题、发布者、日期、图型、数据点数;用 Max 密钥时附数据链接开放
GET/api/v1/charts/53c4d79ea046/data每个数据点及其来源和置信度,加上重画规格。加 ?format=csv 得到 CSVMax
GET/api/v1/charts/53c4d79ea046/render?view=1本页使用的只读绘图视图开放
POST/mcp工具 get_chart_data 加这个 id,供 Claude、Cursor 等智能体使用Max
curlMax
curl -s https://viral-chart.com/api/v1/charts/53c4d79ea046/data \
  -H "Authorization: Bearer $VIRALCHART_KEY"
Claude CodeMax
claude mcp add --transport http viralchart https://viral-chart.com/mcp \
  --header "Authorization: Bearer $VIRALCHART_KEY"

每个密钥每分钟 60 次,超出返回 429 和 Retry-After。每个账号最多 5 个密钥,在账户页创建,只显示一次。没有 Max 时数据接口返回 402,并附套餐链接。这些数字描述的是发布者拥有的图,每个文件都带授权说明。

图表数据

它背后的数字

15 个数据点. 从图片估算 用原生图表重画,并可换上你自己的数字做一张。

更多关于 DeepSeek-Prover and Math 的图

DeepSeek 的更多图

常见问题

这张图从哪里来?

DeepSeek于2025年4月30日在 Hugging Face(huggingface.co)发布了它。我们把它留在这里,并以文字注明发布者和日期,方便你不离开本站就能研究。

我能做一张这样的图吗?

用格式,不用原图。打开它的数据页,用“做一张这样的图”:从这张图的数字起步,换成你的。