Back to CalculatorDeploy Now
DeepSeek Prover V1.5
Theorem proving specialist
Specifications
SourceArchitectureTEXT
Parameters7B
Familydeepseek
VRAM (Q4)3.5G
Reinforcement learning for formal proofs
mathdeepseekresearch
Build your Local Rig
Ready to run locally? Shop top-tier GPUs on Amazon for the best performance.
Instant Cloud GPUs
Running out of VRAM? Rent a high-end H100 or RTX 4090 on RunPod and deploy in seconds.
Quantization Estimates
| Format | VRAM Need | Tier |
|---|---|---|
| FP16 | 14.0 GB | Full Precision |
| Q8_0 | 7.0 GB | High |
| Q6_K | 6.0 GB | Excellent |
| Q5_K_M | 4.9 GB | Great |
| Q4_K_M | 3.5 GB | Sweet Spot |
| Q2_K | 2.1 GB | Emergency |
Share this Model
Send these specs directly to your community.