DeepSeek Prover
Released
2024-01-28
Last refreshed
2026-05-22
Status
Researched 133d ago
Open sourceCommercial use: permitted
DeepSeek Prover is released 2024-01-28 in the DeepSeek Prover family with open-source; evaluate it while provider pricing coverage matures.
DeepSeek releases · 7 in the last 12 monthsChangelog →
Specifications
- Family
- DeepSeek Prover
- Released
- 2024-01-28
- Parameters
- 7B
- Openness
- Open source
- License
- MITOSI-approvedCommercial use: permitted
- Weights
- Unknown
- Code
- Unknown
Created by
Pricing
No tracked provider token pricing is available yet.
About
DeepSeek Prover is a language model from DeepSeek. Weights are openly available for self-hosting.
Provider price ladder
No tracked provider token pricing is available for this model yet.
Capabilities
No model capability flags are currently sourced.
Benchmark peer barsfor Coding
No task-mapped benchmark peers are available for this model yet.
Migration checks
No linked migration route is available for this model yet.