DeepSeek Prover
Released
2024-01-28
Last refreshed
2026-05-22
Status
Researched 44d 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.
Use it for
- Teams evaluating general LLM work
Do not use it for
- Cost-sensitive launches that need sourced token pricing
- Vision or document-understanding workloads
- Strict JSON or tool-calling flows
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.
DeepSeek Prover is an open-source model. No headline benchmark score is tracked for DeepSeek Prover yet.
Top use-case fit
No primary decision-task fit is mapped for this model yet.
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.
Frequently asked questions
When was DeepSeek Prover released?
DeepSeek Prover was released on 2024-01-28.