DeepSeek Prover V2 7B on Intel Core Ultra 7 255H / 9 285H NAS (32 GB)
Can the Intel Core Ultra 7 255H / 9 285H NAS (32 GB) run DeepSeek Prover V2 7B?
Yes, it runs well
Runs well. At Q4_K_M it needs about 10.3 GB of 18.2 GB usable, with an estimated speed of 17.7 tok/s.
- Best quant
Q4_K_M- Generation speed
- 17.7 tok/s
- Prompt processing
- 932 tok/s
- First token (1K prompt)
- 1.1 s
- Largest safe context
- 23K
Best app to run it on the Intel Core Ultra 7 255H / 9 285H NAS (32 GB)
Download DeepSeek Prover V2 7B
Recommended for the Intel Core Ultra 7 255H / 9 285H NAS (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_MOriginal 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)
How it’s rated
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 quality | 17.1 / 45 | |
|---|---|---|
| Memory fit | 25.0 / 25 | |
| Speed | 10.0 / 15 | |
| Memory use | 13.0 / 15 | |
| Match score | 65.1 / 100 |
Every quantization on the Intel Core Ultra 7 255H / 9 285H NAS (32 GB)
| Quant | Memory needed | Available | Speed | Runs | Quality | Download |
|---|---|---|---|---|---|---|
Q2_K | 8.8 GB | 18.2 GB | 29.0 tok/s | Runs well | 28Basic quality (D) · 28 of 100: how capable the model is at Q2_K, whatever it runs on. Match score 61/100 (quality, fit, speed and memory use) sets the ranking. | GGUF (opens in a new tab) |
Q3_K_M | 9.5 GB | 18.2 GB | 22.9 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 63/100 (quality, fit, speed and memory use) sets the ranking. | GGUF (opens in a new tab) |
Q4_K_M | 10.3 GB | 18.2 GB | 17.7 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 65/100 (quality, fit, speed and memory use) sets the ranking. | GGUF (opens in a new tab) |
Q5_K_M | 11.0 GB | 18.2 GB | 14.6 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 65/100 (quality, fit, speed and memory use) sets the ranking. | GGUF (opens in a new tab) |
Q6_K | 11.8 GB | 18.2 GB | 12.3 tok/s | Runs well | 39Basic quality (D) · 39 of 100: how capable the model is at Q6_K, whatever it runs on. Match score 65/100 (quality, fit, speed and memory use) sets the ranking. | GGUF (opens in a new tab) |
Q8_0 | 13.4 GB | 18.2 GB | 9.0 tok/s | Slow | 40Fair quality (C) · 40 of 100: how capable the model is at Q8_0, whatever it runs on. Match score 65/100 (quality, fit, speed and memory use) sets the ranking. | GGUF (opens in a new tab) |
F16 | 19.9 GB | 18.2 GB | 3.5 tok/s | Slowover GPU memory limit | 40Fair quality (C) · 40 of 100: how capable the model is at F16, whatever it runs on. Match score 47/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
-
40Fair quality (C) · 40 of 100: how capable the model is at Q8_0, whatever it runs on. Match score 73/100 (quality, fit, speed and memory use) sets the ranking.
AMD Radeon RX 9070 XT
-
40Fair quality (C) · 40 of 100: how capable the model is at Q8_0, whatever it runs on. Match score 73/100 (quality, fit, speed and memory use) sets the ranking.
NVIDIA GeForce RTX 4070 Ti SUPER
-
40Fair quality (C) · 40 of 100: how capable the model is at Q8_0, whatever it runs on. Match score 73/100 (quality, fit, speed and memory use) sets the ranking.
NVIDIA GeForce RTX 4080 SUPER
-
40Fair quality (C) · 40 of 100: how capable the model is at F16, whatever it runs on. Match score 73/100 (quality, fit, speed and memory use) sets the ranking.
NVIDIA GeForce RTX 4090
-
40Fair quality (C) · 40 of 100: how capable the model is at Q8_0, whatever it runs on. Match score 73/100 (quality, fit, speed and memory use) sets the ranking.
NVIDIA GeForce RTX 5060 Ti 16GB
-
40Fair quality (C) · 40 of 100: how capable the model is at Q8_0, whatever it runs on. Match score 73/100 (quality, fit, speed and memory use) sets the ranking.
NVIDIA GeForce RTX 5070 Ti
Quick answers
How much memory does DeepSeek Prover V2 7B need on the Intel Core Ultra 7 255H / 9 285H NAS 32GB?
At Q4_K_M it needs about 10.3 GB. The Intel Core Ultra 7 255H / 9 285H NAS 32GB has 18.2 GB usable.
How fast is DeepSeek Prover V2 7B on the Intel Core Ultra 7 255H / 9 285H NAS 32GB?
About 17.7 tok/s at Q4_K_M, an estimate from the hardware’s memory bandwidth and the size of the model.
Which quantization of DeepSeek Prover V2 7B should I use on the Intel Core Ultra 7 255H / 9 285H NAS 32GB?
Q4_K_M. Of the versions that fit, it is the one that runs best; when two run equally well, the check prefers the higher-rated one.
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.