DeepSeek Prover 1 versions
By DeepSeek
| Model | Released | Type | Arch | Params (B) | Context | Open | Status |
|---|---|---|---|---|---|---|---|
| DeepSeek-Prover-V2 | Apr 30, 2025 | Text LLM | MoE | 671 | 163.8K | Open weights | Active |
By DeepSeek
| Model | Released | Type | Arch | Params (B) | Context | Open | Status |
|---|---|---|---|---|---|---|---|
| DeepSeek-Prover-V2 | Apr 30, 2025 | Text LLM | MoE | 671 | 163.8K | Open weights | Active |