DE
DeepSeek
Language model · China ·Aug 2024

DeepSeek-Prover-V1.5

Language Open (Restricted)
7B
Parameters

About DeepSeek-Prover-V1.5

DeepSeek-Prover-V1.5 is an AI model developed by DeepSeek, in the language category, released in 2024, made available as an open-weights model with 7B params.

On this page you'll find DeepSeek-Prover-V1.5's full specifications. Review provider pricing and benchmark scores below, or compare DeepSeek-Prover-V1.5 head-to-head with other language models.

→ More models by DeepSeek → All language models → AI benchmarks leaderboard

Links

Announcement ↗ Hugging Face ↗

Run DeepSeek-Prover-V1.5 locally — what to buy

Share this build ↗

Sized to what DeepSeek-Prover-V1.5 actually needs (~8k context at Q4), not to the biggest GPU: Good = cheapest that runs it, Better = best value, Best = most headroom. Speed is a hardware estimate; anything past ~120 tok/s is shown as instant.

Good
Intel Arc B580 12GB
Consumer GPU · ~$249
~83.8 tok/s
Q4 · fits full context · up to 8k ctx
Runs with: ExLlamaV2, KoboldCpp, LM Studio
See full estimate →
Better
Intel Arc A770 16GB
Consumer GPU · ~$329
~102.9 tok/s
Q4 · fits full context · up to 8k ctx
Runs with: ExLlamaV2, KoboldCpp, LM Studio
See full estimate →
Best
AMD Radeon RX 7800 XT
Consumer GPU · ~$499
~120 tok/s
Q4 · fits full context · up to 8k ctx
Runs with: ExLlamaV2, KoboldCpp, LM Studio
See full estimate →

Software support

·ExLlamaV2 ·KoboldCpp ·LM Studio ·MLX ·Ollama ·SGLang ·TensorRT-LLM ·llama.cpp ·vLLM ?KTransformers ?text-generation-webui

✓ measured · · compatible · — not supported. Informational only — speed is hardware-based.

Consumer GPU
41.1–120+ tok/s
32 options →
Apple
24.9–120+ tok/s
18 options →
Datacenter GPU
120+ tok/s
13 options →

Community

Would you run DeepSeek-Prover-V1.5 again?
No votes yet — be the first.
Did it run? — community reports by hardware

No reports yet. Own this model on some hardware? Be the first to confirm it runs.

Discussion

No comments yet. Start the discussion.

More models like DeepSeek-Prover-V1.5

AI
DMind-1
 AI
COLLECTIVE-1
 AI
Cogito 1 series
 AI
Euler (Euler大模型)
· 2.5B
 AI
SmolLM-1.7B
· 1.7B
 AI
Llama-3-70B-Synthia-v3.5
· 70B

Frequently asked questions

What is DeepSeek-Prover-V1.5? ▶

DeepSeek-Prover-V1.5 is an AI model developed by DeepSeek, in the language category, released in 2024. It is tracked on GenAIList with its specifications, benchmark scores and provider pricing.

Who created DeepSeek-Prover-V1.5? ▶

DeepSeek-Prover-V1.5 was developed by DeepSeek and released in 2024.

Is DeepSeek-Prover-V1.5 open source or proprietary? ▶

DeepSeek-Prover-V1.5 ships as an open-weights model: you can download and self-host the weights, though the licence may place some restrictions on use.

How much does DeepSeek-Prover-V1.5 cost? ▶

Pricing for DeepSeek-Prover-V1.5 depends on the provider. See the providers table on this page for the latest API rates.

How does DeepSeek-Prover-V1.5 perform on benchmarks? ▶

Benchmark scores for DeepSeek-Prover-V1.5 are listed on this page as they are published. You can compare it head-to-head with other models on the GenAIList compare tool.

No videos yet. Know a good one? Add it below.

Know a great video about DeepSeek-Prover-V1.5?