1. 模型
  2. DeepSeek
  3. Pass Rate Comparison Across Benchmarks
DeepSeekX · 2024年8月16日 · 官方

Pass Rate Comparison Across Benchmarks

DeepSeek 的这张分组柱状图在 X 上获得 16.3万 浏览,是其帖子中位数的 0.5 倍,在我们收录的 1,162 条 AI 图表帖中浏览排第 294。读取于2026年10月13日。

Pass rate comparison for AI theorem proving models

X数据分组柱状图DeepSeek-Prover and MathDeepSeek 全部模型DeepSeekLM-Prover-StepProver5DeepSeek-Prover-V1Hypertree Proof SearchGPT-fReProverLlemma-7BLlemma-34B
发布者 DeepSeek 于 X, 2024年8月16日. 来源: x.com
62/ 100

ViralChart 评分

传得远,互动偏少

浏览高于中位数,互动率却更低:看到的人多,动手的人少。大账号常见。

#410 / 1,162 我们收录的 AI 图表帖 · #11 / 18 DeepSeek 的帖子. 评分 = 浏览 40%、赞 30%、互动率 15%、收藏率 15%,每项都按我们收录的全部 AI 图表帖计算百分位。

我们的解读

传得远,互动偏少,综合得分在1162条AI图表帖中排第410。

互动率0.42%,低于AI图表帖中位数0.73%,为0.57倍,排第927。

浏览量16.3万,低于DeepSeek中位数34.2万,为0.48倍,排第14。

综合得分62,在1162条AI图表帖中排第410,高于中位水平。

0.14每个粉丝带来的浏览

114.1万 粉丝的账号,带来 16.3万 浏览。

后 20%互动率

0.42% 的浏览者点赞、转发、引用或回复。中位数帖子是 0.73%。

0.5xDeepSeek 帖子中位数的倍数

16.3万 浏览,而 DeepSeek 一条典型帖子是 34.2万。

前 31%收藏率

0.112% 的浏览者收藏了它,打算回头再看。中位数帖子是 0.076%。

X 公开数据,读取于2026年10月13日。对比对象:1,162 条我们收录的 AI 图表帖,以及 DeepSeek 的 18 条。

它的位置

传播范围对比打动程度

每个点是一条帖子。越往右浏览越多,越往上互动率越高。两条线是中位数,四个角就是四种帖子。

在 1,162 条我们收录的 AI 图表帖中

评分 #410 / 1,162

浏览16.3万#294前 25%
赞555#421前 36%
互动率0.42%#927后 20%
收藏率0.112%#364前 31%

在 DeepSeek 的 18 条帖子中

评分 #11 / 18

浏览16.3万#14后 25%
赞555#14后 25%
互动率0.42%#8前 42%
收藏率0.112%#5前 25%

增长

我们的读取覆盖了 23 小时

浏览16.3万
读取时发布天数789 天
平均每天浏览207浏览除以发布以来的天数
两次读取之间新增+423 小时内的浏览增量,目前约每天 4

圆点是我们的读取。从发布当天到第一次读取之间的虚线是空档,不是数据。

DeepSeek 的帖子随时间变化

我们收录的这个账号的每条帖子,按日期和浏览排列。标出的是这一条,线是最近 10 条的滚动中位数。

新闻 · 2024年8月16日

DeepSeek定理证明通过率对比

浏览量16.3万,互动率仅0.42%。

发生了什么

DeepSeek于2024年8月16日发布1张分组柱状图,对比7个AI定理证明模型的通过率。当日无其他帖子。

数字

浏览量16.3万,在1162条AI图表帖中排第294;互动率0.42%,排第927,为AI中位数0.73%的0.57倍。

经验

互动率0.42%低于中位数0.73%,但浏览量16.3万高于中位数4万,属于传得远互动少。

意味着什么

在DeepSeek的18条帖子中,此帖浏览量排第14,互动率0.42%接近自家中位数0.41%,但低于AI中位数。

由 ViralChart 根据2026年10月13日读取的公开数字撰写,每个数字展示前都与我们的数据核对过。

数据与 API

从这张图读出 30 个数据点

从图片估算 38%
系列分组数值读取方式
DeepSeekLM-ProverV1.5miniF2F-test (fine-tuned)63 %估读
InternLM-Prover-StepProverminiF2F-test (fine-tuned)55 %估读
DeepSeek-Prover-V1miniF2F-test (fine-tuned)50 %估读
Hypertree Proof SearchminiF2F-test (fine-tuned)41 %估读
GPT-fminiF2F-test (fine-tuned)36 %估读
ReProverminiF2F-test (fine-tuned)26 %估读
DeepSeekLM-ProverV1.5miniF2F-test (pre-trained)39 %估读
InternLM-Prover-StepProverminiF2F-test (pre-trained)26 %估读
DeepSeek-Prover-V1miniF2F-test (pre-trained)26 %估读
DeepSeekLM-ProverV1.5ProofNet25 %估读
InternLM-Prover-StepProverProofNet18 %估读
DeepSeek-Prover-V1ProofNet13.9 %估读

显示 30 个中的 12 个。 全部数据点、重绘和制作器

Max 方案 · API

GET https://viral-chart.com/api/posts/4e997a835277.json
GET https://viral-chart.com/api/charts/4e997a835277.json
GET https://viral-chart.com/api/charts/4e997a835277.skill.md

原型里是静态文件。帖子 JSON 包含公开数字、排名、评分、象限、我们的读取记录,以及通过核对的文案。

API · Max

用 API 调用这张图

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

数值是近似的。我们对这张图的两次读取只部分一致(置信度 0.38,满分 1),引用前请对照原图。API 会标记 lowConfidence,加 ?min_confidence=0.5 可以把它排除。

路径返回套餐
GET/api/v1/charts/4e997a835277标题、发布者、日期、图型、数据点数;用 Max 密钥时附数据链接开放
GET/api/v1/charts/4e997a835277/data每个数据点及其来源和置信度,加上重画规格。加 ?format=csv 得到 CSVMax
GET/api/v1/charts/4e997a835277/render?view=1本页使用的只读绘图视图开放
POST/mcp工具 get_chart_data 加这个 id,供 Claude、Cursor 等智能体使用Max
curlMax
curl -s https://viral-chart.com/api/v1/charts/4e997a835277/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,并附套餐链接。这些数字描述的是发布者拥有的图,每个文件都带授权说明。

更多关于 DeepSeek-Prover and Math 的图

DeepSeek 的更多图

常见问题

这张图从哪里来?

DeepSeek于2024年8月16日在 X(x.com)发布了它。我们把它留在这里,并以文字注明发布者和日期,方便你不离开本站就能研究。

我能做一张这样的图吗?

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