Mindket

DeepSeek-V4-Pro

Newversion 1 · updated

Overview

Generates text with a 1.6T-parameter Mixture-of-Experts model that activates 49B per token and reads up to one million tokens. A DeepSeek preview for teams that can host about 1,599 GB of weights.

DeepSeek-V4-Pro is a kit in the Research category, listed by Mindket. It is free. This is version 1, last updated on . Download it on this page, a zip of its files. Nothing in it runs by itself.

At a glance

You need
  • Python with the Hugging Face tool
  • About 1,599 GB of disk for the I8 weights
  • Server hardware that can hold and serve a 1.6T-parameter model
Runs in
  • Python with the transformers library, as listed by Hugging Face
  • Large server setups on Windows, macOS or Linux that can hold the weights
  • Your own infrastructure, since the card gives its own download links
Start with
pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-V4-Pro

Platform

WindowsOperating system
macOSOperating system
LinuxOperating system

About

What it is

DeepSeek-V4-Pro is a preview text generation model from DeepSeek. It uses a Mixture-of-Experts design with 1.6T parameters, of which 49B are active at a time. It reads up to one million tokens of context. A smaller sibling, DeepSeek-V4-Flash, has 284B parameters with 13B active.

Who it suits

Teams with serious hardware who want an open model for long inputs, coding and agent-style tasks. The weights take about 1,599 GB, so it is out of reach for an ordinary laptop or single graphics card.

IndustryWho uses itHow they use itExample
AI researchLabsStudy long-context Mixture-of-Experts modelsTest how the model behaves with an extra-long input
InfrastructurePlatform teamsHost a large open model on a clusterServe the weights to internal users
SoftwareDevelopersEvaluate it on coding and agent tasksCompare its output with another model on a coding job
Document workAnalystsFeed in long material in one promptAsk questions about a large pile of text

You can skip it if you have a single machine or a small budget. The smaller Flash model in the same series is a lighter option.

Where to use it

  • Python with the transformers library, as listed by Hugging Face
  • Large server setups on Windows, macOS or Linux that can hold the weights
  • Your own infrastructure, since the card gives its own download links
Use caseWhoWhat they get back
Long-context readingAnalystsAnswers drawn from up to one million tokens
CodingDevelopersCode written by an open model
Agent workAgent buildersA model for multi-step tasks

How to set it up

This needs a huge amount of storage and memory, so check the numbers first.

  • Python with the Hugging Face tool
  • About 1,599 GB of disk for the I8 weights
  • Server hardware that can hold and serve a 1.6T-parameter model
  1. Install Python if you do not have it.
  2. Install the Hugging Face hub tool.
  3. Check that you have room for the weights.
  4. Download the repository.
  5. Follow the card for how to serve it, which continues past what is shown here.
pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-V4-Pro

How to use it

The run steps are cut off in the part shown, so follow the full card once the weights are in place. The card names a maximum reasoning effort mode called DeepSeek-V4-Pro-Max.

Example

You give the model a long document and ask questions about it. The card says the series reads up to one million tokens, so the whole text can go into one prompt.

For newcomers and experts

A Mixture-of-Experts model has many specialist parts and uses only some of them for each token. That is why 1.6T parameters can run with 49B active. This one is meant for large servers, so a first small step is to read the card and the size figures before downloading anything.

The card describes a hybrid attention design that mixes Compressed Sparse Attention and Heavily Compressed Attention. At one million tokens it needs 27 percent of the single-token compute and 10 percent of the KV cache of DeepSeek-V3.2. It also uses Manifold-Constrained Hyper-Connections and the Muon optimizer. Pre-training used more than 32T tokens. Post-training trains domain experts with SFT and RL, then merges them by on-policy distillation.

  1. Pre-train on more than 32T tokens
  2. Train domain experts with SFT and RL
  3. Merge them by on-policy distillation
  4. Serve the weights for long prompts
DeepSeek-V4-Pro at one million tokens, as a share of DeepSeek-V3.2
Single-token inference compute27%
KV cache10%

Good to know

  • The card calls this a preview version of the V4 series.
  • Its claims about being the best open model and reaching top coding scores are the authors' own.
  • The card says V4-Flash reaches reasoning like Pro with a larger thinking budget but trails on pure knowledge and the hardest agent work.
  • License: mit.
  • Cost to run: none named, but the hardware needs are huge.
  • Data it reaches: files downloaded from Hugging Face, plus the prompts and documents you give it.
  • Not for: small machines or casual local use, given the 1,599 GB of weights.

README and files

README

DeepSeek-V4-Pro

Generates text with a 1.6T-parameter Mixture-of-Experts model that activates 49B per token and reads up to one million tokens. A DeepSeek preview for teams that can host about 1,599 GB of weights.

Made by deepseek-ai on Hugging Face. These notes are Mindket's, written from its model page and model card; the model's own files and license are on Hugging Face.

About

What it is: DeepSeek-V4-Pro is a preview text generation model from DeepSeek. It uses a Mixture-of-Experts design with 1.6T parameters, of which 49B are active at a time. It reads up to one million tokens of context. A smaller sibling, DeepSeek-V4-Flash, has 284B parameters with 13B active.

Who it suits: Teams with serious hardware who want an open model for long inputs, coding and agent-style tasks. The weights take about 1,599 GB, so it is out of reach for an ordinary laptop or single graphics card.

Industry | Who uses it | How they use it | Example
AI research | Labs | Study long-context Mixture-of-Experts models | Test how the model behaves with an extra-long input
Infrastructure | Platform teams | Host a large open model on a cluster | Serve the weights to internal users
Software | Developers | Evaluate it on coding and agent tasks | Compare its output with another model on a coding job
Document work | Analysts | Feed in long material in one prompt | Ask questions about a large pile of text

You can skip it if you have a single machine or a small budget. The smaller Flash model in the same series is a lighter option.

Where to use it:

  • Python with the transformers library, as listed by Hugging Face
  • Large server setups on Windows, macOS or Linux that can hold the weights
  • Your own infrastructure, since the card gives its own download links
Use case | Who | What they get back
Long-context reading | Analysts | Answers drawn from up to one million tokens
Coding | Developers | Code written by an open model
Agent work | Agent builders | A model for multi-step tasks

How to set it up: This needs a huge amount of storage and memory, so check the numbers first.

  • Python with the Hugging Face tool
  • About 1,599 GB of disk for the I8 weights
  • Server hardware that can hold and serve a 1.6T-parameter model
  1. Install Python if you do not have it.
  2. Install the Hugging Face hub tool.
  3. Check that you have room for the weights.
  4. Download the repository.
  5. Follow the card for how to serve it, which continues past what is shown here.
pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-V4-Pro

How to use it: The run steps are cut off in the part shown, so follow the full card once the weights are in place. The card names a maximum reasoning effort mode called DeepSeek-V4-Pro-Max.

Example: You give the model a long document and ask questions about it. The card says the series reads up to one million tokens, so the whole text can go into one prompt.

For newcomers and experts: A Mixture-of-Experts model has many specialist parts and uses only some of them for each token. That is why 1.6T parameters can run with 49B active. This one is meant for large servers, so a first small step is to read the card and the size figures before downloading anything.

The card describes a hybrid attention design that mixes Compressed Sparse Attention and Heavily Compressed Attention. At one million tokens it needs 27 percent of the single-token compute and 10 percent of the KV cache of DeepSeek-V3.2. It also uses Manifold-Constrained Hyper-Connections and the Muon optimizer. Pre-training used more than 32T tokens. Post-training trains domain experts with SFT and RL, then merges them by on-policy distillation.

Pre-train on more than 32T tokens
Train domain experts with SFT and RL
Merge them by on-policy distillation
Serve the weights for long prompts
Title: DeepSeek-V4-Pro at one million tokens, as a share of DeepSeek-V3.2
Single-token inference compute: 27%
KV cache: 10%

Good to know:

  • The card calls this a preview version of the V4 series.
  • Its claims about being the best open model and reaching top coding scores are the authors' own.
  • The card says V4-Flash reaches reasoning like Pro with a larger thinking budget but trails on pure knowledge and the hardest agent work.
  • License: mit.
  • Cost to run: none named, but the hardware needs are huge.
  • Data it reaches: files downloaded from Hugging Face, plus the prompts and documents you give it.
  • Not for: small machines or casual local use, given the 1,599 GB of weights.

On Hugging Face, 13 November 2026

  • Task: text generation
  • Library: transformers
  • Parameters: 1.6T
  • Weights: about 1,599 GB in I8
  • Formats: Safetensors
  • Downloads in the last 30 days: 322,162
  • Likes: 5,702
  • License: mit
  • Quantized versions: 31
  • Fine-tunes: 17
  • Tags: transformers, safetensors, deepseek_v4, text-generation, 8-bit, fp8

Links

Get the model

Download its files with Hugging Face's command line:

pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-V4-Pro

Then follow the usage in its model card. Nothing in this kit runs by itself.

Files
README.md  5 KB

1 file, 5 KB, downloaded as a zip.

What’s new

  • Version 1 · 2026-11-13

Compare with similar

Listed Hugging Face models in the same category that share the most tags with this one.

ProductDownloads, last 30 daysLikesParametersLicenseLast change
DeepSeek-V4-Pro This page322,1625,7021.6Tmit
Hydrogen-1.0-MXFP4Shares 8-bit · text-generation · safetensors12,80416384Bmit
VLX-Seek-1.5-10BShares text-generation · transformers · safetensors137,7723910Bapache-2.0
OpenAI GPT 1Shares text-generation · transformers · safetensors45,439325120Mmit
Sage-A1.5Shares text-generation · transformers · safetensors22,22440436Bapache-2.0
K2-Horizon-3.7BShares text-generation · transformers · safetensors15,4891155.1Bapache-2.0
Numbers as Mindket last read them, from 2026-11-12 to 2026-11-13.

Reviews

No ratings yet

Write a review

No reviews yet.

What people say

Posts and comments that name this project on Hacker News, Bluesky, X, Reddit, Facebook and YouTube, found by a weekly search and on Trendshift. Mindket doesn’t write or check them. Open one to read it where it was posted.

impact_syDeepSeek v4https://api-docs.deepseek.com/ https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro/blob/main...2,091 points · 1,607 repliesTokenMargin.DevDeepSeek V4 Pro 0813 vs Qwen3.8 Max Prime: Which LLM API actually protects your SaaS gross margin at 10,000 DAU? Here is the live 2026 token math across input, output & prompt caching: 🧵👇 #AI #LLM #DevTools #SaaS #BuildInPublic3 likes · 2 repliesbadsectoraculaWe're releasing the weights of Mistral Large 4This is ancient (2 years ago), all their recent stuff (e.g. [0][1]) are MIT licensed. The only exception i've found from a quick browse of their stuff is [2], which is Apache 2 licensed. Even the update to V3 (which you linked at), V3.2, was MIT licensed. [0]…TokenMargin.DevDeepSeek V4 Pro 0813 Cloud Pricing & Cheapest Providers (2026): What does DeepSeek V4 Pro 0813 actually cost in production across input, output & prompt caching? 🧵👇 #AI #LLM #DevTools #SaaS #BuildInPublic3 likes · 1 replyjohndoughKimi-K3 on HuggingFaceDeepSeek-V4 should use only 5GB for context due to CSA and HCA, see figure here: https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro But not every framework implements it properly yet.TokenMargin.DevClaude Sonnet 5.5 vs DeepSeek V4 Pro 0813: Which LLM API actually protects your SaaS gross margin at 10,000 DAU? Here is the live 2026 token math across input, output & prompt caching: 🧵👇 #AI #LLM #DevTools #SaaS #BuildInPublic3 likes · 1 replyneongreenWhat happens behind the scenes when we change effort for same LLM models?This is a very good question and the answers are different for different models. --- Deepseek v4 Pro has three modes: no thinking, thinking ("high"), very good thinking ("max"). Max is implemented as follows: https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro/blob/main... > When…TokenMargin.DevClaude Fable 5.2 vs DeepSeek V4 Pro 0813: Which LLM API actually protects your SaaS gross margin at 10,000 DAU? Here is the live 2026 token math across input, output & prompt caching: 🧵👇 #AI #LLM #DevTools #SaaS #BuildInPublic3 likes · 1 replydevttyeuKimi K3, and what we can still learn from the pelican benchmark> How does the prompt “Generate an SVG of a pelican riding a bicycle” add up to 95 input tokens? OpenAI’s tokenizer counts 10, Anthropic’s counts 10 for Opus 4.6, 30 for Opus 4.7 and 25 for Sonnet 5/Fable 5. Prompting “hi” to Kimi K3 counted 86 tokens, suggesting there may be an 85 token hidden…TokenMargin.Dev3/ Compare all cloud GPU & serverless endpoints hosting DeepSeek V4 Pro 0813 (<400ms TTFT SLA) on our live calculator: https://tokenmargin.dev/models/deepseek-v4-pro-0813-pricing-calculator.html?ref=bsky #AI #LLM #FinOps #DevTools #BuildInPublic3 likeskamranjonDSpark: Speculative decoding accelerates LLM inference [pdf]The hugging face models are already up and seem to be the original models with the speculative decoding module built in which is very cool: Flash: https://huggingface.co/deepseek-ai/DeepSeek-V4-Flash-DSpark Pro: https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro-DSpark Excited to see if this makes…TokenMargin.DevGPT-6.1 Terra Pro vs DeepSeek V4 Pro 0813: Which LLM API actually protects your SaaS gross margin at 10,000 DAU? Here is the live 2026 token math across input, output & prompt caching: 🧵👇 #AI #LLM #DevTools #SaaS #BuildInPublic2 likes · 1 reply

Searched

More from Mindket

See all from Mindket

anaksor-ocr

Sokheng · Kit

Reads Khmer and English text from documents, receipts and photos of signs, using a detector for text lines and a recogniser for each line. Suits developers who…

New

Qwen2.5-7B-Instruct as GGUF files in eight quantization sizes, to chat with locally through llama.cpp. For people who want a capable 7.6B model on their own co…

New

ACE-Step 1.5 XL SFT

ACE-Step · Kit

Generates music from text with a 4B diffusion decoder, 50 steps and guidance control, aiming for higher audio quality than the base. For creators with a GPU of…

New

Similar in Research

See all in Research

Merlin-Cancer-Super

AbdomenAtlas · Kit

Detects and outlines tumors in 9 organs on CT scans, trained with the R-Super method that learns from radiology reports. A research model for medical imaging g…

New

EarthJev

dBenf · Kit

Answers typed questions about satellite image patches from all 12 Sentinel-2 bands, returning a probability for each option without writing text. A Qwen3.5-0.8…

New

getting-over-it-rl-jax

zimmerk4 · Kit

Plays the full game Getting Over It from the bottom to the end with a small trained policy network that learned inside a JAX physics simulator. For reinforceme…

New