LLM EXPLORER
 LLM Explorer: A Curated Large Language Model Directory and Analytics
Dark Theme
  Agents   Benchmarks   LLM  List    LLM Hosting    LLM Leaderboards    Blog    Newsfeed    Advertise

DeepSeek Prover V2 671B by deepseek-ai

 »  All LLMs  »  deepseek-ai  »  DeepSeek Prover V2 671B   URL Share it on

  704   

DeepSeek Prover V2 671B is an open-source language model by deepseek-ai. Features: 671b LLM, VRAM: 189GB, Context: 160K, LLM Explorer Score: 0.27.

  Conversational   Custom code   Deepseek v3   Endpoints compatible   Fp8   Region:us   Safetensors   Sharded   Tensorflow
Model Card on HF 🤗: https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B 

DeepSeek Prover V2 671B Benchmarks

LLME Score: 0.26535
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
DeepSeek Prover V2 671B (deepseek-ai/DeepSeek-Prover-V2-671B)
🌟 Advertise your project 🚀

DeepSeek Prover V2 671B Parameters and Internals

LLM NameDeepSeek Prover V2 671B
Repository 🤗https://huggingface.co/deepseek-ai/DeepSeek-Prover-V2-671B 
Model Size671b
Required VRAM189 GB
Updated2026-05-09
Maintainerdeepseek-ai
Model Typedeepseek_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   4.3 GB: 45-of-163
Model ArchitectureDeepseekV3ForCausalLM
Context Length163840
Model Max Length163840
Transformers Version4.46.3
Vocabulary Size129280
Torch Data Typebfloat16

Quantized Models of the DeepSeek Prover V2 671B

Model
Likes
Downloads
VRAM
DeepSeek Prover V2 671B GGUF81341250 GB

Best Alternatives to DeepSeek Prover V2 671B

Best Alternatives
Context / RAM
Downloads
Likes
R1 1776160K / 243.4 GB8552324
Cogito 671B V2.1160K / 219.9 GB17529
Deepseek V3.1 MLX 5.5bit160K / 231 GB3395
...o V2 Preview Deepseek 671B MoE160K / 219.9 GB1936
DeepSeek Prover V2 671B160K / 184.7 GB843
RakutenAI 3.0 MLX 4bit160K / 198.7 GB1092
DeepSeek V3.1 8bit160K / 177.8 GB20773
DeepSeek V3.1 Terminus 4bit160K / 190.1 GB1432
DeepSeek V3.1 Base 4bit160K / 190.1 GB1483
DeepSeek R1 0528 5bit160K / 231 GB1023
Note: green Score (e.g. "73.2") means that the model is better than deepseek-ai/DeepSeek-Prover-V2-671B.

Rank the DeepSeek Prover V2 671B Capabilities

🆘 Have you tried this model? Rate its performance. This feedback would greatly assist ML community in identifying the most suitable model for their needs. Your contribution really does make a difference! 🌟

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  

What open-source LLMs or SLMs are you in search of? 53999 in total.

Email us: info@extractum.io. Our Privacy Policy  | Terms and Conditions  | Suggest an improvement.
Our Social Media →  
Original data from HuggingFace, OpenCompass and various public git repos.
Check out Ag3ntum — our secure, self-hosted AI agent for server management.
Release v20260328a
  Support LLM Explorer