Text Model
Can I Run DeepSeek Prover V1.5 Locally?
Theorem proving specialist
System Configuration
Configure your hardware to check compatibility
VRAM12GB
Bandwidth504 GB/s
TDP285W
System RAM32GB
Typededicated
Compatibility Result
Based on your selected hardware
Runs with Offload
VRAM Usage17.7GB / 12GB
Est. Speed~42.4 T/s
Context (KV)
12.51 GB
Disk Space
4.2 GB
32% of layers will be offloaded to system RAM. This will significantly reduce generation speed.
Similar Models
DeepSeek V3 (MoE)
671BMassive MoE - exceptional performance
moedeepseek
DeepSeek R1 671B (MoE)
671BReasoning specialist with o1-level performance
reasoningdeepseek
DeepSeek R1 Distill 70B
70BDistilled reasoning model
reasoningdeepseek