DE
DeepSeek
Language model · China ·Apr 2025

DeepSeek-Prover-V2-671B

Language Open (Restricted)
671B
Parameters

About DeepSeek-Prover-V2-671B

DeepSeek-Prover-V2-671B is an AI model developed by DeepSeek, in the language category, released in 2025, made available as an open-weights model with 671B params.

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

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

Links

Announcement ↗ Hugging Face ↗

Run DeepSeek-Prover-V2-671B locally — what it takes

DeepSeek-Prover-V2-671B (671B) is too large to run on a single consumer or Apple machine. At Q4 its weights alone are about 376 GB — it needs a multi-GPU / datacenter setup:

  • ≈ 2× AMD Instinct MI325X
  • ≈ 3× NVIDIA B200

Lower quantization (Q3/Q2) or CPU + system-RAM offload (e.g. ktransformers) reduces the requirement at the cost of speed.

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.

Community

Would you run DeepSeek-Prover-V2-671B 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-V2-671B

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-V2-671B? ▶

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

Who created DeepSeek-Prover-V2-671B? ▶

DeepSeek-Prover-V2-671B was developed by DeepSeek and released in 2025.

Is DeepSeek-Prover-V2-671B open source or proprietary? ▶

DeepSeek-Prover-V2-671B 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-V2-671B cost? ▶

Pricing for DeepSeek-Prover-V2-671B depends on the provider. See the providers table on this page for the latest API rates.

How does DeepSeek-Prover-V2-671B perform on benchmarks? ▶

Benchmark scores for DeepSeek-Prover-V2-671B 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-V2-671B?