DeepSeek
We introduce DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem proving pipeline powered by DeepSeek-V3.
The resulting model, DeepSeek-Prover-V2-671B, achieves state-of-the-art performance in neural theorem proving, reaching 88.9% pass ratio on the MiniF2F-test and solving 49 out of 658 problems from PutnamBench.
Live access is not confirmed for this model. No current purchase price is advertised.
No current subscription pricing is tracked for this model.
Confirm this specific model, usage limits, and billing terms with the provider. A subscription does not automatically include API credits.
No login needed to compare. Prices are in USD; provider charges are separate from AI Market Cap plans. Context length, caching, tools, taxes, and regional terms can change the final cost. Open weights do not mean free hosting.
34.9
Quality Score
---
Arena ELO
671B
Parameters
131K
Context
This measures the amount of verifiable public evidence we have, not how capable the model is. A missing field means it has not been verified yet, not that its value is zero.
17 of 22 public signals
Sign in to join the discussion
818
Downloads
832
Likes
Apr 2025
Released
5/5 signals
3/4 signals
2/5 signals
3/4 signals
4/4 signals
Parameters
671B
Training compute
Not reported
Dataset scale
Not reported
Base model
DeepSeek-V3
Source-reported access: Open weights (restricted use) · Confident confidence
Gaps we are still tracking
Start with the simple view: the cheapest reliable option, the official provider price, and the best places to try or deploy this model. The detailed table stays below if you want the full pricing breakdown.
Public pricing, no login required. Rates are in USD and billed by the provider, separately from AI Market Cap data plans. Confirm billing cycle, taxes, usage caps, and specific model availability before purchasing. A subscription does not automatically include API credits; context length, caching, and tools can change usage costs.
No pricing data available yet.