Mindket

DeepSeek-V4-Pro

新上架第 1 版 · 更新于

概览

用一个 1.6T 参数的混合专家模型生成文字,每个令牌激活 49B,最多可读入一百万个令牌。这是 DeepSeek 的预览版,适合能放下约 1,599 GB 权重的团队。

DeepSeek-V4-Pro 是一款工具包,属于研究类,由 Mindket 上架。可免费获取。当前为第 1 版,最近更新于 。在本页下载,是一个装着它全部文件的 zip 压缩包。这些文件不会自己运行。

速览

你需要
  • 带 Hugging Face 工具的 Python
  • I8 权重约需 1,599 GB 磁盘
  • 能放下并运行 1.6T 参数模型的服务器硬件
用在
  • 带 transformers 库的 Python,Hugging Face 列出的方式
  • Windows、macOS 或 Linux 上能放下权重的大型服务器环境
  • 你自己的基础设施,因为模型卡给出了自己的下载链接
先运行
pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-V4-Pro

平台

Windows操作系统
macOS操作系统
Linux操作系统

关于

它是什么

DeepSeek-V4-Pro 是 DeepSeek 的一个预览版文本生成模型。它采用混合专家设计,共 1.6T 参数,每次激活其中 49B。它能读入最多一百万个令牌的上下文。较小的同系列模型 DeepSeek-V4-Flash 有 284B 参数,激活 13B。

适合谁

适合拥有强大硬件、想用开放模型处理长输入、编程和智能体式任务的团队。权重约 1,599 GB,所以普通笔记本或单块显卡无法承受。

行业谁在用怎么用例子
AI 研究实验室研究长上下文的混合专家模型测试模型在超长输入下的表现
基础设施平台团队在集群上托管一个大型开放模型把权重提供给内部用户使用
软件开发者在编程和智能体任务上评估它在一个编程任务上把它的输出和另一个模型比较
文档工作分析人员在一条提示词里输入长篇材料针对一大堆文字提问

如果你只有一台机器或预算有限,可以跳过它。同系列里较小的 Flash 模型是更轻的选择。

用在哪里

  • 带 transformers 库的 Python,Hugging Face 列出的方式
  • Windows、macOS 或 Linux 上能放下权重的大型服务器环境
  • 你自己的基础设施,因为模型卡给出了自己的下载链接
用例适合谁得到什么
长上下文阅读分析人员来自最多一百万个令牌的回答
编程开发者开放模型写出的代码
智能体工作智能体构建者适合多步骤任务的模型

如何设置

这需要非常大的存储和内存,所以先核对数字。

  • 带 Hugging Face 工具的 Python
  • I8 权重约需 1,599 GB 磁盘
  • 能放下并运行 1.6T 参数模型的服务器硬件
  1. 如果还没有 Python,先安装它。
  2. 安装 Hugging Face hub 工具。
  3. 确认你有放得下权重的空间。
  4. 下载这个仓库。
  5. 怎么部署服务,请按模型卡来,它在这里看到的内容之后还有。
pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-V4-Pro

如何使用

运行步骤在这里看到的内容里被截断了,所以权重就位之后,请按完整的模型卡操作。模型卡提到一个最大推理强度模式,叫 DeepSeek-V4-Pro-Max。

示例

你给模型一份很长的文档,并就它提问。模型卡说这个系列最多读入一百万个令牌,所以整篇文字可以放进一条提示词里。

新手与专家

混合专家模型有很多专门的部分,每个令牌只用其中一些。这就是 1.6T 参数只激活 49B 也能运行的原因。这个模型是为大型服务器准备的,所以第一步很小:下载任何东西之前,先读模型卡和大小数字。

模型卡描述了一种混合注意力设计,把 Compressed Sparse Attention 和 Heavily Compressed Attention 结合起来。在一百万个令牌下,它只需要 DeepSeek-V3.2 单令牌计算量的 27% 和 KV 缓存的 10%。它还用了 Manifold-Constrained Hyper-Connections 和 Muon 优化器。预训练用了超过 32T 个令牌。后训练先用 SFT 和 RL 训练各领域专家,再通过在线策略蒸馏把它们合并。

  1. 在超过 32T 个令牌上预训练
  2. 用 SFT 和 RL 训练各领域专家
  3. 通过在线策略蒸馏合并它们
  4. 为长提示词提供权重服务
一百万个令牌时 DeepSeek-V4-Pro 相对 DeepSeek-V3.2 的占比
单令牌推理计算量27%
KV 缓存10%

注意事项

  • 模型卡称这是 V4 系列的预览版。
  • 它关于最佳开放模型、取得顶级编程分数的说法是作者自己的。
  • 模型卡说 V4-Flash 在思考预算更大时能达到与 Pro 相当的推理水平,但在纯知识和最难的智能体工作上稍逊一筹。
  • License: mit。
  • Cost to run: 未提及,但对硬件的要求非常大。
  • Data it reaches: 从 Hugging Face 下载的文件,以及你交给它的提示词和文档。
  • Not for: 小型机器或随意的本地使用,因为权重有 1,599 GB。

README 和文件

README

DeepSeek-V4-Pro

用一个 1.6T 参数的混合专家模型生成文字,每个令牌激活 49B,最多可读入一百万个令牌。这是 DeepSeek 的预览版,适合能放下约 1,599 GB 权重的团队。

由 deepseek-ai 在 Hugging Face 上制作。这些说明是 Mindket 根据它的模型页面和模型卡写的,模型自己的文件和许可证在 Hugging Face 上。

简介

它是什么:DeepSeek-V4-Pro 是 DeepSeek 的一个预览版文本生成模型。它采用混合专家设计,共 1.6T 参数,每次激活其中 49B。它能读入最多一百万个令牌的上下文。较小的同系列模型 DeepSeek-V4-Flash 有 284B 参数,激活 13B。

适合谁:适合拥有强大硬件、想用开放模型处理长输入、编程和智能体式任务的团队。权重约 1,599 GB,所以普通笔记本或单块显卡无法承受。

行业 | 谁在用 | 怎么用 | 例子
AI 研究 | 实验室 | 研究长上下文的混合专家模型 | 测试模型在超长输入下的表现
基础设施 | 平台团队 | 在集群上托管一个大型开放模型 | 把权重提供给内部用户使用
软件 | 开发者 | 在编程和智能体任务上评估它 | 在一个编程任务上把它的输出和另一个模型比较
文档工作 | 分析人员 | 在一条提示词里输入长篇材料 | 针对一大堆文字提问

如果你只有一台机器或预算有限,可以跳过它。同系列里较小的 Flash 模型是更轻的选择。

用在哪里:

  • 带 transformers 库的 Python,Hugging Face 列出的方式
  • Windows、macOS 或 Linux 上能放下权重的大型服务器环境
  • 你自己的基础设施,因为模型卡给出了自己的下载链接
用例 | 适合谁 | 得到什么
长上下文阅读 | 分析人员 | 来自最多一百万个令牌的回答
编程 | 开发者 | 开放模型写出的代码
智能体工作 | 智能体构建者 | 适合多步骤任务的模型

如何设置:这需要非常大的存储和内存,所以先核对数字。

  • 带 Hugging Face 工具的 Python
  • I8 权重约需 1,599 GB 磁盘
  • 能放下并运行 1.6T 参数模型的服务器硬件
  1. 如果还没有 Python,先安装它。
  2. 安装 Hugging Face hub 工具。
  3. 确认你有放得下权重的空间。
  4. 下载这个仓库。
  5. 怎么部署服务,请按模型卡来,它在这里看到的内容之后还有。
pip install -U huggingface_hub
hf download deepseek-ai/DeepSeek-V4-Pro

如何使用:运行步骤在这里看到的内容里被截断了,所以权重就位之后,请按完整的模型卡操作。模型卡提到一个最大推理强度模式,叫 DeepSeek-V4-Pro-Max。

示例:你给模型一份很长的文档,并就它提问。模型卡说这个系列最多读入一百万个令牌,所以整篇文字可以放进一条提示词里。

新手与专家:混合专家模型有很多专门的部分,每个令牌只用其中一些。这就是 1.6T 参数只激活 49B 也能运行的原因。这个模型是为大型服务器准备的,所以第一步很小:下载任何东西之前,先读模型卡和大小数字。

模型卡描述了一种混合注意力设计,把 Compressed Sparse Attention 和 Heavily Compressed Attention 结合起来。在一百万个令牌下,它只需要 DeepSeek-V3.2 单令牌计算量的 27% 和 KV 缓存的 10%。它还用了 Manifold-Constrained Hyper-Connections 和 Muon 优化器。预训练用了超过 32T 个令牌。后训练先用 SFT 和 RL 训练各领域专家,再通过在线策略蒸馏把它们合并。

在超过 32T 个令牌上预训练
用 SFT 和 RL 训练各领域专家
通过在线策略蒸馏合并它们
为长提示词提供权重服务
Title: 一百万个令牌时 DeepSeek-V4-Pro 相对 DeepSeek-V3.2 的占比
单令牌推理计算量: 27 %
KV 缓存: 10 %

注意事项:

  • 模型卡称这是 V4 系列的预览版。
  • 它关于最佳开放模型、取得顶级编程分数的说法是作者自己的。
  • 模型卡说 V4-Flash 在思考预算更大时能达到与 Pro 相当的推理水平,但在纯知识和最难的智能体工作上稍逊一筹。
  • License: mit。
  • Cost to run: 未提及,但对硬件的要求非常大。
  • Data it reaches: 从 Hugging Face 下载的文件,以及你交给它的提示词和文档。
  • Not for: 小型机器或随意的本地使用,因为权重有 1,599 GB。

Hugging Face 上的数据(2026年11月13日)

  • 任务:text generation
  • 框架:transformers
  • 参数量:1.6T
  • Weights: about 1,599 GB in I8
  • Formats: Safetensors
  • 最近 30 天下载:322,162
  • 点赞:5,702
  • 许可证:mit
  • Quantized versions: 31
  • Fine-tunes: 17
  • 标签:transformers, safetensors, deepseek_v4, text-generation, 8-bit, fp8

链接

  • 模型:https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro
  • 文件:https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro/tree/main

获取模型

用 Hugging Face 的命令行下载它的文件:

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

然后按它的模型卡使用它。这个工具包里没有会自己运行的东西。

文件
README.md  5 KB

1 个文件,共 5 KB,以 zip 压缩包下载。

更新内容

  • 第 1 版 · 2026-11-13

同类产品对比

同一分类里与本产品共有标签最多的已上架 Hugging Face 模型。

产品最近 30 天下载点赞参数量许可证最近更新
DeepSeek-V4-Pro 本页322,1625,7021.6Tmit
Hydrogen-1.0-MXFP4共有 8-bit · text-generation · safetensors12,80416384Bmit
VLX-Seek-1.5-10B共有 text-generation · transformers · safetensors137,7723910Bapache-2.0
OpenAI GPT 1共有 text-generation · transformers · safetensors45,439325120Mmit
Sage-A1.5共有 text-generation · transformers · safetensors22,22440436Bapache-2.0
K2-Horizon-3.7B共有 text-generation · transformers · safetensors15,4891155.1Bapache-2.0
数据为 Mindket 在 2026-11-12 至 2026-11-13 期间读取的数值。

评价

还没有评分

写评价

还没有评价。

大家怎么说

Hacker News、Bluesky、X、Reddit、Facebook 和 YouTube 上提到这个项目的帖子和评论,来自每周一次的搜索和 Trendshift。它们不是 Mindket 写的,也未经核实,点开即可在原帖处阅读。

impact_syDeepSeek v4https://api-docs.deepseek.com/ https://huggingface.co/deepseek-ai/DeepSeek-V4-Pro/blob/main...2,091 分 · 1,607 条回复TokenMargin.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 赞 · 2 条回复badsectoraculaWe'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 赞 · 1 条回复johndoughKimi-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 赞 · 1 条回复neongreenWhat 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 赞 · 1 条回复devttyeuKimi 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 赞kamranjonDSpark: 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 赞 · 1 条回复

搜索日期

Mindket 的更多商品

查看 Mindket 的全部商品

Bonsai-27B-GGUF

lmstudio-community · 工具包

面向 LM Studio 的 27B Bonsai 模型 GGUF 转换版,含 3.80 GB 的 Q1_0 语言文件和 0.93 GB 的 BF16 视觉投影器。已测试文本、视觉和并行工具调用。

新上架

以每权重 2.9 位的 EXL3 量化运行 DeepSeek-V4.1-Flash-1017,这是一份 196 GiB 的副本,适合在自己硬件上部署大模型的人。困惑度与原模型相差不大。

新上架

MusicGen Small

facebook · 工具包

根据文字描述或音频提示生成短音乐片段,是 facebook MusicGen 的 small 检查点。适合想在自己电脑上试用文字生成音乐的开发者和音乐爱好者。

新上架

研究类的相似商品

查看研究类的全部商品

Merlin-Cancer-Super

AbdomenAtlas · 工具包

在 CT 扫描上检测并勾画 9 个器官的肿瘤,使用从放射学报告中学习的 R-Super 方法训练。这是面向医学影像团队的研究模型,采用非商业许可。

新上架

EarthJev

dBenf · 工具包

回答关于卫星图像块的类型化问题,使用 Sentinel-2 的全部 12 个波段,为每个选项返回概率,不生成文字。这是 Qwen3.5-0.8B 的微调版本,适合地球观测研究者。

新上架

getting-over-it-rl-jax

zimmerk4 · 工具包

用一个在 JAX 物理模拟器里学会的小型策略网络,从头到尾通关游戏 Getting Over It。适合强化学习研究者和好奇的动手爱好者。

新上架