What are the hardware requirements for DeepSeek Prover V2 671B?

DeepSeek Prover V2 671B requires approximately 184.7 GB of VRAM and supports a context window of 160K tokens. Quantized variants may run on less VRAM; see the Quantized Models section on this page.

Who developed DeepSeek Prover V2 671B and how large is it?

DeepSeek Prover V2 671B is developed by unsloth, a model with 671b parameters. The model is published as open weights on Hugging Face and indexed on LLM Explorer with full benchmark history.

Where can I download or evaluate DeepSeek Prover V2 671B?

DeepSeek Prover V2 671B is hosted on Hugging Face and linked from this page. LLM Explorer also lists quantized variants and similar alternatives if available.

DeepSeek Prover V2 671B by unsloth — VRAM 184.7GB, 160K context

Name: DeepSeek Prover V2 671B
Author: unsloth

DeepSeek Prover V2 671B is an open-source language model by unsloth. Features: 671b LLM, VRAM: 184.7GB, Context: 160K, License: mit, LLM Explorer Score: 0.18.

Base model:deepseek-ai/deepsee... Base model:quantized:deepseek-... Conversational Custom code Deepseek Deepseek v3 En Endpoints compatible Fp8 Region:us Safetensors Sharded Tensorflow Unsloth

Model Card on HF 🤗: https://huggingface.co/unsloth/DeepSeek-Prover-V2-671B

DeepSeek Prover V2 671B Parameters and Internals

LLM Name	DeepSeek Prover V2 671B
Repository 🤗	https://huggingface.co/unsloth/DeepSeek-Prover-V2-671B
Base Model(s)	DeepSeek Prover V2 671B deepseek-ai/DeepSeek-Prover-V2-671B
Model Size	671b
Required VRAM	184.7 GB
Updated	2026-07-10
Maintainer	unsloth
Model Type	deepseek_v3
Model Files	5.2 GB: 1-of-163 4.3 GB: 2-of-163 4.3 GB: 3-of-163 4.3 GB: 4-of-163 4.3 GB: 5-of-163 4.4 GB: 6-of-163 4.3 GB: 7-of-163 4.3 GB: 8-of-163 4.3 GB: 9-of-163 4.3 GB: 10-of-163 4.3 GB: 11-of-163 1.3 GB: 12-of-163 4.3 GB: 13-of-163 4.3 GB: 14-of-163 4.3 GB: 15-of-163 4.3 GB: 16-of-163 4.3 GB: 17-of-163 4.3 GB: 18-of-163 4.3 GB: 19-of-163 4.3 GB: 20-of-163 4.3 GB: 21-of-163 4.3 GB: 22-of-163 4.3 GB: 23-of-163 4.3 GB: 24-of-163 4.3 GB: 25-of-163 4.3 GB: 26-of-163 4.3 GB: 27-of-163 4.3 GB: 28-of-163 4.3 GB: 29-of-163 4.3 GB: 30-of-163 4.3 GB: 31-of-163 4.3 GB: 32-of-163 4.3 GB: 33-of-163 1.8 GB: 34-of-163 4.3 GB: 35-of-163 4.3 GB: 36-of-163 4.3 GB: 37-of-163 4.3 GB: 38-of-163 4.3 GB: 39-of-163 4.3 GB: 40-of-163 4.3 GB: 41-of-163 4.3 GB: 42-of-163 4.3 GB: 43-of-163 4.3 GB: 44-of-163
Supported Languages	en
Model Architecture	DeepseekV3ForCausalLM
License	mit
Context Length	163840
Model Max Length	163840
Transformers Version	4.52.3
Vocabulary Size	129280
Torch Data Type	bfloat16

Rank the DeepSeek Prover V2 671B capabilities

Have you tried this model? Rate its performance — this feedback helps the ML community find the right model for their needs.

Instruction Following and Task Automation
Factuality and Completeness of Knowledge
Censorship and Alignment
Data Analysis and Insight Generation
Text Generation
Text Summarization and Feature Extraction
Code Generation
Multi-Language Support and Translation

Best Alternatives to DeepSeek Prover V2 671B

Best Alternatives	Context / RAM	Downloads	Likes
R1 1776	160K / 243.4 GB	855	2324
DeepSeek Prover V2 671B	160K / 189 GB	562	831
Cogito 671B V2.1	160K / 219.9 GB	85	29
Deepseek V3.1 MLX 5.5bit	160K / 231 GB	339	5
MAI DS R1	160K / 171.7 GB	333	306
...o V2 Preview Deepseek 671B MoE	160K / 219.9 GB	118	37
DeepSeek V3.1 Terminus 4bit	160K / 190.1 GB	42	2
DeepSeek V3.1 8bit	160K / 177.8 GB	4268	3
RakutenAI 3.0 MLX 4bit	160K / 198.7 GB	28	2
DeepSeek V3.1 4bit	160K / 190.1 GB	2974	6

Note: green Score (e.g. "73.2") means that the model is better than unsloth/DeepSeek-Prover-V2-671B.