Check my GPU

on

Can the Apple M2 Pro (32 GB) run DeepSeek Prover V2 7B?

66 ptsGood (B) · 66 of 100 points: Model quality 17.1/45, Memory fit 25.0/25, Speed 13.1/15, Memory use 11.4/15

Yes, it runs well

Runs well. At Q4_K_M it needs about 10.6 GB of 21.4 GB usable, with an estimated speed of 30.6 tok/s.

Best quant
Q4_K_M
Generation speed
30.6 tok/s
Prompt processing
610 tok/s
First token (1K prompt)
1.7 s
Largest safe context
29K

Download DeepSeek Prover V2 7B

Recommended for the Apple M2 Pro (32 GB): Q4_K_M. Every other quantization has its own download link in the table below.

Quantized files · GGUF

Works in LM Studio, llama.cpp, Jan and Ollama. No sign-in needed.

Download the Q4_K_M file (opens in a new tab)

huggingface.co/unsloth/DeepSeek-Prover-V2-7B-GGUF (opens in a new tab)

ollama run hf.co/unsloth/DeepSeek-Prover-V2-7B-GGUF:Q4_K_M

Original weights · Hugging Face

Full-precision files from DeepSeek, for fine-tuning, vLLM, Transformers.

huggingface.co/deepseek-ai/DeepSeek-Prover-V2-7B (opens in a new tab)

No sign-in needed.

Links checked 6 days ago against Hugging Face, Ollama and GitHub.

How the B grade is scored

Every result gets up to 100 points from four parts. The points decide the letter grade.

Model qualityEditorial quality tier of the model, scaled by the quantization or precision used.17.1 / 45
Memory fitFull marks when everything sits in GPU or unified memory; fewer when part spills to system RAM.25.0 / 25
SpeedGeneration speed against a 40 tokens/s target for LLMs, or render time against a target for image and video.13.1 / 15
Memory useRewards using the memory you have, so a bigger, better variant beats a tiny one that leaves most memory idle.11.4 / 15
Total66.6 / 10066 ptsGood (B) · 66 of 100 points: Model quality 17.1/45, Memory fit 25.0/25, Speed 13.1/15, Memory use 11.4/15

Grade scale: S 85+ · A 72+ · B 58+ · C 42+ · D 25+ · F under 25 points.

Every quantization on the Apple M2 Pro (32 GB)

Quant Memory needed Available Speed Fit Grade · points Download
Q2_K 9.1 GB 21.4 GB 50.2 tok/s Runs well 62 ptsGood (B) · 62 of 100 points: Model quality 12.6/45, Memory fit 25.0/25, Speed 15.0/15, Memory use 9.8/15 GGUF (opens in a new tab)
Q3_K_M 9.7 GB 21.4 GB 39.6 tok/s Runs well 65 ptsGood (B) · 65 of 100 points: Model quality 15.1/45, Memory fit 25.0/25, Speed 14.9/15, Memory use 10.5/15 GGUF (opens in a new tab)
Q4_K_M 10.6 GB 21.4 GB 30.6 tok/s Runs well 66 ptsGood (B) · 66 of 100 points: Model quality 17.1/45, Memory fit 25.0/25, Speed 13.1/15, Memory use 11.4/15 GGUF (opens in a new tab)
Q5_K_M 11.2 GB 21.4 GB 25.3 tok/s Runs well 66 ptsGood (B) · 66 of 100 points: Model quality 17.5/45, Memory fit 25.0/25, Speed 11.9/15, Memory use 12.1/15 GGUF (opens in a new tab)
Q6_K 12.0 GB 21.4 GB 21.2 tok/s Runs well 66 ptsGood (B) · 66 of 100 points: Model quality 17.8/45, Memory fit 25.0/25, Speed 10.9/15, Memory use 12.9/15 GGUF (opens in a new tab)
Q8_0 13.7 GB 21.4 GB 15.6 tok/s Runs well 67 ptsGood (B) · 67 of 100 points: Model quality 18.0/45, Memory fit 25.0/25, Speed 9.4/15, Memory use 14.7/15 GGUF (opens in a new tab)
F16 20.2 GB 21.4 GB 7.2 tok/s Tight fit 63 ptsGood (B) · 63 of 100 points: Model quality 18.0/45, Memory fit 24.0/25, Speed 6.4/15, Memory use 15.0/15 GGUF (opens in a new tab) Original weights (opens in a new tab)

Memory figures assume 8K of context. Longer conversations or documents grow the KV cache.

Other hardware that runs it

Estimates come from published hardware specs and our open formulas, not from running the model on your machine. Real speed varies with runtime, drivers and settings. Numbers marked “Measured” come from a linked benchmark.