DeepSeek-Prover and Math: charts and benchmarks
Every chart we tracked that shows DeepSeek-Prover and Math, from the lab itself and from the trackers people trust, with how far each one travelled.
Official charts from DeepSeek
As published on X, Hugging Face, GitHub and their blog. Each card opens our own page for the chart.
Make it yours
Your numbers, in a look-alike of the original.
Starts from the real numbers of "Model Performance Comparison Across Benchmarks" by github:zai-org/GLM-4. Replace every number with yours before you post. Make one like this, step by step
Look-alike score 9.0 of 10. Free pictures carry a small "Made with ViralChart" line. That line is how other people find us.
Questions people ask
What charts show DeepSeek-Prover and Math?
We hold 5 charts that show DeepSeek-Prover and Math, 5 of them published by DeepSeek. The newest is "AI Model Performance on ProofBench" (Nov 27, 2025). Each card opens our own page for the chart.
Who publishes DeepSeek-Prover and Math benchmark charts?
DeepSeek