Total runs:
4.4M
Run Growth:
3.3M
Growth Rate:
76.13%
Sponsored by
YouArt
deepseek-ai / DeepSeek-Math-V2
Model's Last Updated: November 27 2025
text-generation
Introduction of DeepSeek-Math-V2
Model Details of DeepSeek-Math-V2
DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning
1. Introduction
Large language models have made significant progress in mathematical reasoning, which serves as an important testbed for AI and could impact scientific research if further advanced. By scaling reasoning with reinforcement learning that rewards correct final answers, LLMs have improved from poor performance to saturating quantitative reasoning competitions like AIME and HMMT in one year. However, this approach faces fundamental limitations. Pursuing higher final answer accuracy doesn't address a key issue: correct answers don't guarantee correct reasoning. Moreover, many mathematical tasks like theorem proving require rigorous step-by-step derivation rather than numerical answers, making final answer rewards inapplicable. To push the limits of deep reasoning, we believe it is necessary to verify the comprehensiveness and rigor of mathematical reasoning. Self-verification is particularly important for scaling test-time compute, especially for open problems without known solutions. Towards self-verifiable mathematical reasoning, we investigate how to train an accurate and faithful LLM-based verifier for theorem proving. We then train a proof generator using the verifier as the reward model, and incentivize the generator to identify and resolve as many issues as possible in their own proofs before finalizing them. To maintain the generation-verification gap as the generator becomes stronger, we propose to scale verification compute to automatically label new hard-to-verify proofs, creating training data to further improve the verifier. Our resulting model, DeepSeekMath-V2, demonstrates strong theorem-proving capabilities, achieving gold-level scores on IMO 2025 and CMO 2024 and a near-perfect 118/120 on Putnam 2024 with scaled test-time compute. While much work remains, these results suggest that self-verifiable mathematical reasoning is a feasible research direction that may help develop more capable mathematical AI systems.
2. Evaluation Results
Below are evaluation results on IMO-ProofBench (developed by the DeepMind team behind DeepThink IMO-Gold) and recent mathematics competitions including IMO 2025, CMO 2024, and Putnam 2024.
IMO-ProofBench
Mathematics Competitions
4. Quick Start
DeepSeekMath-V2 is built on top of DeepSeek-V3.2-Exp-Base. For inference support, please refer to the DeepSeek-V3.2-Exp github repository .
6. License
This repository and the model weights are licensed under the Apache License, Version 2.0 (Apache 2.0) .
7. Citation
@misc{deepseek-math-v2,
author = {Zhihong Shao, Yuxiang Luo, Chengda Lu, Z.Z. Ren, Jiewen Hu, Tian Ye, Zhibin Gou, Shirong Ma, Xiaokang Zhang},
title = {DeepSeekMath-V2: Towards Self-Verifiable Mathematical Reasoning},
year = {2025},
}
8. Contact
If you have any questions, please raise an issue or contact us at [email protected] .
Runs of deepseek-ai DeepSeek-Math-V2 on huggingface.co
652
Total runs
0
24-hour runs
-18
3-day runs
161
7-day runs
233
30-day runs
More Information About DeepSeek-Math-V2 huggingface.co Model
Url of DeepSeek-Math-V2
DeepSeek-Math-V2 huggingface.co Url
Provider of DeepSeek-Math-V2 huggingface.co
Other API from deepseek-ai
Updated:August 01 2026
Total runs:
2.4M
Run Growth:
284.6K
Growth Rate:
11.91%
Total runs:
1.8M
Run Growth:
-507.3K
Growth Rate:
-28.55%
Total runs:
1.7M
Run Growth:
571.2K
Growth Rate:
34.32%
Total runs:
965.7K
Run Growth:
-376.0K
Growth Rate:
-38.91%
Total runs:
940.1K
Run Growth:
-515.5K
Growth Rate:
-54.67%
Total runs:
908.6K
Run Growth:
-189.0K
Growth Rate:
-20.22%
Total runs:
772.2K
Run Growth:
209.2K
Growth Rate:
27.71%
Total runs:
737.9K
Run Growth:
62.5K
Growth Rate:
8.47%
Total runs:
729.0K
Run Growth:
216.0K
Growth Rate:
30.97%
Total runs:
670.9K
Run Growth:
-7.8M
Growth Rate:
-1101.65%
Total runs:
619.1K
Run Growth:
-799.1K
Growth Rate:
-130.46%
Total runs:
592.0K
Run Growth:
-185.9K
Growth Rate:
-31.40%
Total runs:
551.4K
Run Growth:
217.9K
Growth Rate:
38.72%
Total runs:
511.2K
Run Growth:
-134.7K
Growth Rate:
-25.77%
Total runs:
444.0K
Run Growth:
383.0K
Growth Rate:
95.54%
Total runs:
417.0K
Run Growth:
-162.9K
Growth Rate:
-39.07%
Total runs:
393.7K
Run Growth:
-125.0K
Growth Rate:
-31.75%
Total runs:
366.6K
Run Growth:
39.7K
Growth Rate:
10.83%
Total runs:
359.8K
Run Growth:
109.6K
Growth Rate:
30.44%
Total runs:
347.4K
Run Growth:
-102.1K
Growth Rate:
-29.39%
Total runs:
346.0K
Run Growth:
-459.6K
Growth Rate:
-132.13%
Total runs:
241.4K
Run Growth:
9.2K
Growth Rate:
3.92%
Total runs:
239.0K
Run Growth:
70.2K
Growth Rate:
31.19%
Total runs:
175.8K
Run Growth:
171.8K
Growth Rate:
100.00%
Total runs:
155.3K
Run Growth:
-1.0M
Growth Rate:
-670.74%
Total runs:
77.2K
Run Growth:
-200.9K
Growth Rate:
-261.01%
Total runs:
75.8K
Run Growth:
6
Growth Rate:
100.00%
Total runs:
72.5K
Run Growth:
59.3K
Growth Rate:
96.87%
Total runs:
68.1K
Run Growth:
2.0K
Growth Rate:
2.97%
Total runs:
59.8K
Run Growth:
-124.5K
Growth Rate:
-206.26%
Total runs:
43.1K
Run Growth:
31.0K
Growth Rate:
71.92%
Total runs:
35.5K
Run Growth:
-70.2K
Growth Rate:
-197.66%
Total runs:
30.7K
Run Growth:
-1.7K
Growth Rate:
-5.31%
Total runs:
29.5K
Run Growth:
20.6K
Growth Rate:
69.97%
Total runs:
28.1K
Run Growth:
11.2K
Growth Rate:
43.18%
Total runs:
27.4K
Run Growth:
13.8K
Growth Rate:
50.45%
Total runs:
23.7K
Run Growth:
-4.6K
Growth Rate:
-19.31%
Total runs:
21.1K
Run Growth:
11.4K
Growth Rate:
54.13%
Total runs:
20.9K
Run Growth:
-27.1K
Growth Rate:
-129.44%
Total runs:
17.7K
Run Growth:
104
Growth Rate:
0.59%
Total runs:
15.7K
Run Growth:
11.2K
Growth Rate:
71.12%
Total runs:
10.9K
Run Growth:
-15.1K
Growth Rate:
-137.85%
Total runs:
10.6K
Run Growth:
2.6K
Growth Rate:
24.40%
Total runs:
10.6K
Run Growth:
-3.6K
Growth Rate:
-34.17%
Total runs:
10.5K
Run Growth:
-2.3K
Growth Rate:
-21.47%
Total runs:
10.2K
Run Growth:
3.9K
Growth Rate:
39.60%
Total runs:
10.1K
Run Growth:
-2.8K
Growth Rate:
-28.20%
Total runs:
10.0K
Run Growth:
820
Growth Rate:
8.23%
Total runs:
9.9K
Run Growth:
4.1K
Growth Rate:
44.23%
Total runs:
9.3K
Run Growth:
1.0K
Growth Rate:
11.23%
Total runs:
8.6K
Run Growth:
3.2K
Growth Rate:
36.75%
Total runs:
8.6K
Run Growth:
6.7K
Growth Rate:
74.98%
Total runs:
8.2K
Run Growth:
-431
Growth Rate:
-5.17%
Total runs:
7.4K
Run Growth:
3.1K
Growth Rate:
42.35%
Total runs:
7.1K
Run Growth:
1.5K
Growth Rate:
21.53%
Total runs:
7.1K
Run Growth:
-26.0K
Growth Rate:
-368.07%
Total runs:
6.4K
Run Growth:
-1.7K
Growth Rate:
-25.97%
Total runs:
5.4K
Run Growth:
3.5K
Growth Rate:
64.03%
Total runs:
5.3K
Run Growth:
2.6K
Growth Rate:
49.55%
Total runs:
5.2K
Run Growth:
3.6K
Growth Rate:
70.08%
Total runs:
5.0K
Run Growth:
2.3K
Growth Rate:
45.83%
Total runs:
3.8K
Run Growth:
-21.3K
Growth Rate:
-562.18%
Total runs:
3.8K
Run Growth:
1.4K
Growth Rate:
37.76%
Total runs:
3.6K
Run Growth:
-55
Growth Rate:
-1.51%
Total runs:
3.4K
Run Growth:
-322
Growth Rate:
-9.55%
Total runs:
2.9K
Run Growth:
253
Growth Rate:
8.41%
Total runs:
2.0K
Run Growth:
493
Growth Rate:
25.66%
Total runs:
1.9K
Run Growth:
-919
Growth Rate:
-49.41%
Total runs:
1.8K
Run Growth:
694
Growth Rate:
38.07%
Total runs:
1.8K
Run Growth:
354
Growth Rate:
19.97%
Total runs:
1.5K
Run Growth:
219
Growth Rate:
14.75%
Total runs:
952
Run Growth:
147
Growth Rate:
15.44%
Total runs:
952
Run Growth:
-1.2K
Growth Rate:
-121.74%
Total runs:
867
Run Growth:
11
Growth Rate:
1.35%
Total runs:
770
Run Growth:
61
Growth Rate:
7.92%
Total runs:
701
Run Growth:
13
Growth Rate:
1.85%
Total runs:
689
Run Growth:
-38
Growth Rate:
-5.52%
Total runs:
672
Run Growth:
133
Growth Rate:
19.79%
Total runs:
619
Run Growth:
83
Growth Rate:
13.88%
Total runs:
600
Run Growth:
252
Growth Rate:
42.00%
Total runs:
566
Run Growth:
136
Growth Rate:
24.03%
Total runs:
442
Run Growth:
77
Growth Rate:
17.42%
Total runs:
415
Run Growth:
95
Growth Rate:
22.89%
Total runs:
383
Run Growth:
-57
Growth Rate:
-12.72%
Total runs:
368
Run Growth:
112
Growth Rate:
30.43%
Total runs:
312
Run Growth:
162
Growth Rate:
51.92%
Total runs:
299
Run Growth:
175
Growth Rate:
58.53%
Total runs:
299
Run Growth:
179
Growth Rate:
59.87%
Total runs:
297
Run Growth:
170
Growth Rate:
57.24%
Total runs:
296
Run Growth:
168
Growth Rate:
56.76%
Total runs:
292
Run Growth:
180
Growth Rate:
61.64%
Total runs:
291
Run Growth:
168
Growth Rate:
57.73%
Total runs:
291
Run Growth:
163
Growth Rate:
56.01%
Total runs:
289
Run Growth:
169
Growth Rate:
58.48%
Total runs:
288
Run Growth:
165
Growth Rate:
57.29%
Total runs:
287
Run Growth:
159
Growth Rate:
55.40%
Total runs:
286
Run Growth:
171
Growth Rate:
59.79%
Total runs:
284
Run Growth:
165
Growth Rate:
58.10%