Key Takeaways
DeepSeek Prover V2 wins:
- No clear advantages in compared metrics
DeepSeek V3.1 Terminus wins:
- Cheaper input tokens
- Cheaper output tokens
- Faster response time
- Higher intelligence benchmark
- Better at coding
- Better at math
- Has reasoning mode
Price Advantage
DeepSeek V3.1 Terminus
Benchmark Advantage
DeepSeek V3.1 Terminus
Context Window
DeepSeek V3.1 Terminus
Speed
DeepSeek V3.1 Terminus
Pricing Comparison
Benchmark Comparison
Context & Performance
Capabilities
Feature Comparison
| Feature | DeepSeek Prover V2 | DeepSeek V3.1 Terminus |
|---|---|---|
Vision (Image Input) | ||
Tool/Function Calls | ||
Reasoning Mode | ||
Audio Input | ||
Audio Output | ||
PDF Input | ||
Prompt Caching | ||
Web Search |
License & Release
| Property | DeepSeek Prover V2 | DeepSeek V3.1 Terminus |
|---|---|---|
| License | Open Source | Open Source |
| Author | Deepseek | Deepseek |
| Released | Unknown | Sep 2025 |
DeepSeek Prover V2 Modalities
Input
Output
DeepSeek V3.1 Terminus Modalities
Input
text
Output
text