DeepSeek Prover V2 7B on Apple iPhone 17 Pro / 17 Pro Max
Can the Apple iPhone 17 Pro / 17 Pro Max run DeepSeek Prover V2 7B?
No, it doesn’t fit (over the app memory limit)
No. DeepSeek Prover V2 7B needs about 7.4 GB even at Q2_K; the Apple iPhone 17 Pro / 17 Pro Max has 7.2 GB usable.
Download DeepSeek Prover V2 7B
Recommended: Q2_K. 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 Q2_K 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:Q2_KOriginal 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 | 3.8 / 45 | |
|---|---|---|
| Memory fit | 0.0 / 25 | |
| Speed | 0.0 / 15 | |
| Memory use | 0.0 / 15 | |
| Match score | 3.8 / 100 |
Every quantization on the Apple iPhone 17 Pro / 17 Pro Max
| Quant | Memory needed | Available | Speed | Runs | Quality | File to pick in the app |
|---|---|---|---|---|---|---|
Q2_K | 7.4 GB | 7.2 GB | — | Won't runover the app memory limit | 28Basic quality (D) · 28 of 100: how capable the model is at Q2_K, whatever it runs on. Match score 3/100 (quality, fit, speed and memory use) sets the ranking. | Q2_K |
Q3_K_M | 8.0 GB | 7.2 GB | — | Won't runover the app memory limit | 33Basic quality (D) · 33 of 100: how capable the model is at Q3_K_M, whatever it runs on. Match score 4/100 (quality, fit, speed and memory use) sets the ranking. | Q3_K_M |
Q4_K_M | 8.8 GB | 7.2 GB | — | Won't runover the app memory limit | 38Basic quality (D) · 38 of 100: how capable the model is at Q4_K_M, whatever it runs on. Match score 5/100 (quality, fit, speed and memory use) sets the ranking. | Q4_K_M |
Q5_K_M | 9.5 GB | 7.2 GB | — | Won't runover the app memory limit | 38Basic quality (D) · 38 of 100: how capable the model is at Q5_K_M, whatever it runs on. Match score 5/100 (quality, fit, speed and memory use) sets the ranking. | Q5_K_M |
Q6_K | 10.3 GB | 7.2 GB | — | Won't runover the app memory limit | 39Basic quality (D) · 39 of 100: how capable the model is at Q6_K, whatever it runs on. Match score 5/100 (quality, fit, speed and memory use) sets the ranking. | Q6_K |
Q8_0 | 12.0 GB | 7.2 GB | — | Won't runover the app memory limit | 40Fair quality (C) · 40 of 100: how capable the model is at Q8_0, whatever it runs on. Match score 5/100 (quality, fit, speed and memory use) sets the ranking. | Q8_0 |
F16 | 18.4 GB | 7.2 GB | — | Won't runover the app memory limit | 40Fair quality (C) · 40 of 100: how capable the model is at F16, whatever it runs on. Match score 5/100 (quality, fit, speed and memory use) sets the ranking. | BF16 |
Memory figures assume 8K of context. Longer conversations or documents grow the KV cache.
Hardware that can run 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
Models that do run on the Apple iPhone 17 Pro / 17 Pro Max
- 66Good quality (B) · 66 of 100: how capable the model is at Q4_K_M, whatever it runs on. Match score 80/100 (quality, fit, speed and memory use) sets the ranking. Nemotron 3.5 Bolt E4B
- 57Good quality (B) · 57 of 100: how capable the model is at Q4_K_M, whatever it runs on. Match score 80/100 (quality, fit, speed and memory use) sets the ranking. Ling 3.0 Tiny (8B-A1.3B)
- 58Good quality (B) · 58 of 100: how capable the model is at Q3_K_M, whatever it runs on. Match score 80/100 (quality, fit, speed and memory use) sets the ranking. Mellum2.1 Thinking (12B-A2.5B)
- 64Good quality (B) · 64 of 100: how capable the model is at Q4_K_M, whatever it runs on. Match score 80/100 (quality, fit, speed and memory use) sets the ranking. Nanbeige4.2 3B
- 64Good quality (B) · 64 of 100: how capable the model is at Q4_K_M, whatever it runs on. Match score 80/100 (quality, fit, speed and memory use) sets the ranking. Gemma 4 E4B
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.