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.
Data updated 2026-03-30
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
Frequently Asked Questions
How much does DeepSeek Prover V2 cost?
DeepSeek Prover V2 costs $0.5 per million input tokens and $2.18 per million output tokens (USD).
Can I use DeepSeek Prover V2 from outside China?
Yes. DeepSeek Prover V2 is directly accessible internationally. Registration requires email. Payment via credit card.
Is DeepSeek Prover V2 compatible with the OpenAI API?
Yes. DeepSeek Prover V2 uses an OpenAI-compatible API. You can use any OpenAI SDK by changing the base URL to api.deepseek.com.
What is the context window of DeepSeek Prover V2?
DeepSeek Prover V2 supports a 164K token context window (164,000 tokens).
Related Articles & Guides
Guide
Chinese LLM API Authentication: Every Provider Compared
Guide DeepSeek Cache Hit Strategy: How to Save 75% on API Costs
Blog Best Chinese AI Model for Your Use Case: A Decision Framework
Blog Chinese LLM Pricing Deep Dive: The Real Cost of Running AI in 2026
Blog DeepSeek vs GPT for Coding: Benchmarks, Real Costs, and When Each Wins
More from DeepSeek
Ready to try DeepSeek Prover V2?
Get your API key from the official platform.
Go to DeepSeek →