on

Can the AMD EPYC 7002 / 7003 series NAS (64 GB) run DeepSeek Prover V2 7B?

38Basic quality (D) · 38 of 100: how capable the model is at Q4_K_M, whatever it runs on. Match score 58/100 (quality, fit, speed and memory use) sets the ranking.

Yes, it runs well

Runs well. At Q4_K_M it needs about 13.2 GB of 54.4 GB usable, with an estimated speed of 20.2 tok/s.

Best quant
Q4_K_M
Generation speed
20.2 tok/s
Prompt processing
57.9 tok/s
First token (1K prompt)
17.7 s
Largest safe context
64K

Best app to run it on the AMD EPYC 7002 / 7003 series NAS (64 GB)

On Linux

llama.cpp

Command line + local API · runs on llama.cpp

  • Usually the first to support new model architectures.
llama-server -hf unsloth/DeepSeek-Prover-V2-7B-GGUF:Q4_K_M

How we choose: the files published for this model, which apps run in a container on a NAS without a graphics card (models run on its processor), and whether the model fits fully in the memory models can use. Details.

Download DeepSeek Prover V2 7B

Recommended for the AMD EPYC 7002 / 7003 series NAS (64 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 1 day ago against Hugging Face, Ollama and GitHub.

How it’s rated

Quality 38Basic quality (D) · 38 of 100: how capable the model is at Q4_K_M, whatever it runs on. Match score 58/100 (quality, fit, speed and memory use) sets the ranking.
How capable the model itself is at Q4_K_M, from its editorial quality tier scaled by the quantization or precision. It’s the same on any hardware that runs this variant. Scale: A+ 85+ · A 70+ · B 55+ · C 40+ · D under 40.
Runs Runs well
How well it runs on the AMD EPYC 7002 / 7003 series NAS (64 GB): speed, capped by how well it fits in memory. Runs great: 30+ tokens/s (or near the image, video or decision speed target) · Runs well: 10+ tokens/s · Slow: 3+ tokens/s · Very slow: under 3 · Won’t run: doesn’t fit even with offload. A tight fit or RAM offload caps it at Runs well; heavy offload caps it at Slow.

Match score

To order lists, each result also gets a match score out of 100 from four parts. It favors the most capable model that still runs well.

Model qualityEditorial quality tier of the model, scaled by the quantization or precision used.17.1 / 45
Memory fitFull marks when the model fits in the share of the NAS’s memory that models can use (the rest stays with the NAS system and its storage services); fewer when it goes past that limit.25.0 / 25
SpeedGeneration speed against a 40 tokens/s target for LLMs, or render time against a target for image and video.10.7 / 15
Memory useRewards using the memory you have, so a bigger, better variant beats a tiny one that leaves most memory idle.5.6 / 15
Match score58.4 / 100

The match score orders results; it is not shown as a grade. Quality and Runs are the two ratings in the tables.

Every quantization on the AMD EPYC 7002 / 7003 series NAS (64 GB)

Quant Memory needed Available Speed Runs Quality Download
Q2_K 11.7 GB 54.4 GB 33.2 tok/s Runs great 28Basic quality (D) · 28 of 100: how capable the model is at Q2_K, whatever it runs on. Match score 56/100 (quality, fit, speed and memory use) sets the ranking. GGUF (opens in a new tab)
Q3_K_M 12.4 GB 54.4 GB 26.1 tok/s Runs well 33Basic quality (D) · 33 of 100: how capable the model is at Q3_K_M, whatever it runs on. Match score 57/100 (quality, fit, speed and memory use) sets the ranking. GGUF (opens in a new tab)
Q4_K_M 13.2 GB 54.4 GB 20.2 tok/s Runs well 38Basic quality (D) · 38 of 100: how capable the model is at Q4_K_M, whatever it runs on. Match score 58/100 (quality, fit, speed and memory use) sets the ranking. GGUF (opens in a new tab)
Q5_K_M 13.9 GB 54.4 GB 16.7 tok/s Runs well 38Basic quality (D) · 38 of 100: how capable the model is at Q5_K_M, whatever it runs on. Match score 58/100 (quality, fit, speed and memory use) sets the ranking. GGUF (opens in a new tab)
Q6_K 14.6 GB 54.4 GB 14.0 tok/s Runs well 39Basic quality (D) · 39 of 100: how capable the model is at Q6_K, whatever it runs on. Match score 57/100 (quality, fit, speed and memory use) sets the ranking. GGUF (opens in a new tab)
Q8_0 16.3 GB 54.4 GB 10.3 tok/s Runs well 40Fair quality (C) · 40 of 100: how capable the model is at Q8_0, whatever it runs on. Match score 57/100 (quality, fit, speed and memory use) sets the ranking. GGUF (opens in a new tab)
F16 22.8 GB 54.4 GB 4.7 tok/s Slow 40Fair quality (C) · 40 of 100: how capable the model is at F16, whatever it runs on. Match score 57/100 (quality, fit, speed and memory use) sets the ranking. 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.

Was this page helpful?