Self-verifying theorem-proving model built on DeepSeek-V3.2-Exp-Base; gold-level IMO 2025 scores.
Released
Nov 27, 2025
Context window
Not disclosed
Max output
Not disclosed
Parameters
671B 37B active
Input price
Not disclosed
Output price
Not disclosed
Prices are first-party list prices in USD at the standard tier. Last verified Oct 30, 2026.
Pricing
No first-party API. This is an open-weights release you can run yourself.
Specifications
- Developer
- DeepSeek
- Model type
- Text LLM
- Architecture
- MoE
- Parameters
- 671B (37B active)
- Input
- Text
- Output
- Text
- Knowledge cutoff
- Not disclosed
- License
- Apache License 2.0
- API access
- No first-party API
- Capabilities
- Reasoning