DeepSeek·DeepSeek·DeepseekV3ForCausalLM

DeepSeek Prover v2 671B — Hardware Requirements & GPU Compatibility

Chat

DeepSeek Prover v2 671B is a 684.5B-parameter open language model from DeepSeek in the DeepSeek family. It supports a context window of up to 163,840 tokens. At BF16 it needs about 1372.94 GB of VRAM — see which GPUs and Macs can run it below.

734 downloads 830 likes164K context

Specifications

Publisher
DeepSeek
Family
DeepSeek
Parameters
684.5B
Architecture
DeepseekV3ForCausalLM
Context Length
163,840 tokens
Vocabulary Size
129,280
Release Date
2025-04-30

Get Started

How Much VRAM Does DeepSeek Prover v2 671B Need?

Select a quantization to see compatible GPUs below.

QuantizationBitsVRAM
BF1616.001372.9 GB

Which GPUs Can Run DeepSeek Prover v2 671B?

BF16 · 1372.9 GB

DeepSeek Prover v2 671B (BF16) requires 1372.9 GB of VRAM to load the model weights. For comfortable inference with headroom for KV cache and system overhead, 1785+ GB is recommended. Using the full 164K context window can add up to 283.0 GB, bringing total usage to 1655.9 GB. No single GPU has enough memory — multi-GPU or cluster setups are needed.

Related Models

Frequently Asked Questions

How much VRAM does DeepSeek Prover v2 671B need?

DeepSeek Prover v2 671B requires 1372.9 GB of VRAM at BF16. Full 164K context adds up to 283.0 GB (1655.9 GB total).

VRAM = Weights + KV Cache + Overhead

Weights = 684.5B × 16 bits ÷ 8 = 1369.1 GB

KV Cache + Overhead 3.8 GB (at 2K context + ~0.3 GB framework)

KV Cache + Overhead 286.8 GB (at full 164K context)

VRAM usage by quantization

1372.9 GB
1655.9 GB

Learn more about VRAM estimation →

Can NVIDIA GeForce RTX 5090 run DeepSeek Prover v2 671B?

No — DeepSeek Prover v2 671B requires at least 1372.9 GB at BF16, which exceeds the NVIDIA GeForce RTX 5090's 32 GB of VRAM.

Can I run DeepSeek Prover v2 671B on a Mac?

DeepSeek Prover v2 671B requires at least 1372.9 GB at BF16, which exceeds the unified memory of most consumer Macs. You would need a Mac Studio or Mac Pro with a high-memory configuration.

Can I run DeepSeek Prover v2 671B locally?

Yes — DeepSeek Prover v2 671B can run locally on consumer hardware. At BF16 quantization it needs 1372.9 GB of VRAM. Popular tools include Ollama, LM Studio, and llama.cpp.

What's the download size of DeepSeek Prover v2 671B?

At BF16, the download is about 1369.06 GB.

Which GPUs can run DeepSeek Prover v2 671B?

No single consumer GPU has enough VRAM to run DeepSeek Prover v2 671B at BF16 (1372.9 GB). Multi-GPU or professional hardware is required.

Which devices can run DeepSeek Prover v2 671B?

DeepSeek Prover v2 671B requires at least 1372.9 GB at BF16, which exceeds the unified memory of most consumer devices. A high-memory Mac Studio, Mac Pro, or multi-GPU desktop setup is recommended.