1. Models
  2. DeepSeek
  3. Pass Rate Comparison Across Benchmarks
DeepSeekX · Aug 16, 2024 · official

Pass Rate Comparison Across Benchmarks

DeepSeek's grouped bar chart drew 163.2K views on X: 0.5x its median post and #294 of 1,162 AI chart posts we hold by views. Read Oct 13, 2026.

Pass rate comparison for AI theorem proving models

XDataGrouped bar chartDeepSeek-Prover and MathAll DeepSeek modelsDeepSeekLM-Prover-StepProver5DeepSeek-Prover-V1Hypertree Proof SearchGPT-fReProverLlemma-7BLlemma-34B
Published by DeepSeek on X, Aug 16, 2024. Source: x.com
62/ 100

ViralChart score

Wide but thin

More views than the median post but a lower engagement rate: many saw it, few acted. Common for big accounts.

#410 of 1,162 AI chart posts we hold · #11 of 18 DeepSeek posts. Score = views 40%, likes 30%, engagement rate 15%, save rate 15%, each as a percentile of every AI chart post we hold.

Our read

The post lands in the Wide but thin quadrant, with a score rank of #410 of 1,162 AI chart posts.

Its 0.42% engagement rate sits at the 20th percentile among AI chart posts, 0.57x the 0.73% median.

At 163K views, the post runs 0.48x DeepSeek's 342K company median, ranking #14 of 18 DeepSeek posts.

A score of 62 places it at #410 of 1,162 AI chart posts and #11 of 18 DeepSeek posts.

0.14views per follower

163.2K views from an account with 1.1M followers.

bottom 20%engagement rate

0.42% of viewers liked, reposted, quoted or replied. The median post gets 0.73%.

0.5xDeepSeek's median post

163.2K views, where DeepSeek's typical post gets 342K.

top 31%save rate

0.112% of viewers bookmarked it to come back to. The median post gets 0.076%.

Public X numbers from our read on Oct 13, 2026. Peers: 1,162 AI chart posts we hold and 18 from DeepSeek.

Where it sits

Reach against resonance

Each dot is a post. Right is more views, up is a higher engagement rate. The lines are the medians, so the four corners are the four kinds of post.

Among 1,162 AI chart posts we hold

Score #410 of 1,162

Views163.2K#294top 25%
Likes555#421top 36%
Engagement rate0.42%#927bottom 20%
Save rate0.112%#364top 31%

Among 18 DeepSeek posts

Score #11 of 18

Views163.2K#14bottom 25%
Likes555#14bottom 25%
Engagement rate0.42%#8top 42%
Save rate0.112%#5top 25%

Growth

Our reads cover 23 hours

Views163.2K
Age at our read789 days
Views per day of life207views divided by days since it was posted
Gained between our reads+4views over 23 hours, about 4 a day now

Dots are our reads. The dotted line from the day it was posted to our first read is a gap, not data.

DeepSeek's posts over time

Every post from this account we hold, by date and views. This one is marked; the line is the running median of the last 10.

News · Aug 16, 2024

DeepSeek posts theorem proving pass rate chart

A grouped bar chart on pass rates across benchmarks drew 163K views but a 0.42% engagement rate, below the 0.73% AI chart median.

What happened

DeepSeek published a grouped bar chart on pass rate comparison across benchmarks on August 16, 2024. It was the account's only post that day.

The numbers

The post reached 163K views, ranking #294 of 1,162 AI chart posts and #14 of 18 DeepSeek posts. Its score of 62 ranks #410 of 1,162 AI chart posts.

The lesson

A grouped bar chart with 7 models shown drew 163K views but a 0.42% engagement rate, 0.57x the 0.73% AI chart median. The save rate of 0.11% shows readers viewed without keeping it.

What it means

At #11 of 18 DeepSeek posts by score outlook and 0.48x the 342K company median views, this chart sits below the account's own reach. The 0.42% engagement rate against the 0.73% AI median marks a wide but thin result.

Written by ViralChart from public numbers read on Oct 13, 2026. Every number is checked against our data before it is shown.

Data and API

30 points read off this chart

Estimated from the image 38%
SeriesGroupValueRead
DeepSeekLM-ProverV1.5miniF2F-test (fine-tuned)63 %estimated
InternLM-Prover-StepProverminiF2F-test (fine-tuned)55 %estimated
DeepSeek-Prover-V1miniF2F-test (fine-tuned)50 %estimated
Hypertree Proof SearchminiF2F-test (fine-tuned)41 %estimated
GPT-fminiF2F-test (fine-tuned)36 %estimated
ReProverminiF2F-test (fine-tuned)26 %estimated
DeepSeekLM-ProverV1.5miniF2F-test (pre-trained)39 %estimated
InternLM-Prover-StepProverminiF2F-test (pre-trained)26 %estimated
DeepSeek-Prover-V1miniF2F-test (pre-trained)26 %estimated
DeepSeekLM-ProverV1.5ProofNet25 %estimated
InternLM-Prover-StepProverProofNet18 %estimated
DeepSeek-Prover-V1ProofNet13.9 %estimated

Showing 12 of 30. All points, the redraw and the maker

Max plan · 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

Static files in this prototype. The post JSON holds the public numbers, ranks, score, quadrant, our reads and, when checked, our copy.

API · Max

Use this chart via API

On the Max plan you can pull this chart's numbers with the provenance of each one, as JSON or CSV, with its redraw spec, or call it from an agent over MCP. Chart id 4e997a835277.

Approximate values. Our two readings of this chart agreed only in part (confidence 0.38 of 1), so check the original before you quote a number. The API marks it lowConfidence, and ?min_confidence=0.5 leaves it out.

PathReturnsPlan
GET/api/v1/charts/4e997a835277Title, publisher, date, form, point count; with a Max key, the data linkOpen
GET/api/v1/charts/4e997a835277/dataEvery point with its provenance and confidence, plus the redraw spec. Add ?format=csv for CSVMax
GET/api/v1/charts/4e997a835277/render?view=1The draw-only view this page usesOpen
POST/mcpTool get_chart_data with this id, for Claude, Cursor and other agentsMax
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 requests a minute per key; over that you get 429 with Retry-After. Up to 5 keys per account, made on your account page and shown once. Without Max, the data route answers 402 with a link to the plans. The numbers describe a chart its publisher owns, and every file carries a license note.

More charts about DeepSeek-Prover and Math

More from DeepSeek

Questions people ask

Where does this chart come from?

DeepSeek published it on Aug 16, 2024 on X (x.com). We keep it here, with the publisher and date credited as text, so you can study it without leaving.

Can I make a chart like this?

Use the format, not the picture. Open its data page and use Make one like this: it starts from this chart's numbers and takes yours.