DeepSeek Prover V2
671B MoE (37B active, 256 experts)
Specialized for formal theorem proving in Lean 4. 88.9% on MiniF2F-test. Available via third-party providers (OpenRouter, etc). Not on official DeepSeek API.
reasoning OpenAI-compatible 164K context Released 2025-04
Pricing
| Type | USD / 1M tokens |
|---|---|
| Input | $0.5 |
| Output | $2.18 |
vs Western Models
DeepSeek Prover V2 vs GPT-5.2 ($1.75/$14)
71% cheaper input 84% cheaper output
DeepSeek Prover V2 vs Claude Sonnet 4.6 ($3/$15)
83% cheaper input 85% cheaper output
DeepSeek Prover V2 vs Gemini 2.5 Pro ($1.25/$10)
60% cheaper input 78% cheaper output
Strengths
- + formal theorem proving
- + Lean 4
- + mathematical proof
Watch Out For
- ! specialized for theorem proving only
- ! not general-purpose
International Access
Direct access: Yes
Registration: email
Payment: credit card
More from DeepSeek
Ready to try DeepSeek Prover V2?
Get your API key from the official platform.
Go to DeepSeek →