DeepSeek · model family
DeepSeek Prover models
DeepSeek Prover has 6 versions on record.
Every released version 6
USD / 1M tokens
| Model | Context window | Input USD / 1M tokens | Output USD / 1M tokens | Status |
|---|---|---|---|---|
DeepSeek Prover V2 7BDeepSeek · Open weights | — | — | — | Weights version · |
DeepSeek Prover V2 671BDeepSeek · Open weights | — | — | — | Weights version · |
DeepSeek Prover V1.5 SFTDeepSeek · Open weights | — | — | — | Weights version · |
DeepSeek Prover V1.5 RLDeepSeek · Open weights | — | — | — | Weights version · |
DeepSeek Prover V1.5 BaseDeepSeek · Open weights | — | — | — | Weights version · |
DeepSeek Prover V1DeepSeek · Open weights | — | — | — | Weights version · |