DeepSeek V4 — Opinionated Synthesis

The Complaints Are Valid. The Leap Is Real.

In April 2026, DeepSeek released V4 — over fifteen months after R1 shocked global markets and reset what anyone thought an open-source lab could pull off. Anticipation had been building the whole time. At launch, benchmarks looked solid. Then practitioners ran their own evaluations, held the numbers against what fifteen months of waiting had implied, and disappointment arrived quickly. But dig past the surface-level letdown and there are a few genuine wins buried in this release — architectural shifts and a cost story that most of the discourse missed entirely.

April 2026 / DeepSeek-V4-Pro · 1.6T params · MIT License
Three Things To Know

What the Critics Got Right

The criticism isn't just deflated hype. Several gaps are specific and well-founded — the kind that don't get better with more benchmark slides.

Missing

No Native Multimodality

Every Chinese flagship released in 2025–2026 has native vision. Qwen has it. Kimi has it. Not having it in a "V4" release in 2026 is a genuine regression in the roadmap narrative.

Missing

No Consumer-Scale Model

The promised Engram architecture — designed to stream MoE experts from SSD — never shipped. Flash (284B / 13B active) is still far out of reach for most local setups. Google's 26B A4B and Qwen 3 35B A3B run on laptops. V4 doesn't.

Weak

General Knowledge Gaps

MMLU-Pro: 87.5 vs Gemini's 91.0. SimpleQA: 57.9 vs Gemini's 75.6. V4 trails meaningfully on factual recall and broad knowledge benchmarks — the marketing slides don't feature these numbers.

The "V3.4" critique

One community member's framing: "In my opinion, this is DeepSeek V3.4, not V4. You still lack native multimodality every other Chinese flagship model has now." That's sharp, but it reflects a real gap between versioning expectations and feature delivery. DeepSeek should have either waited or shipped with a vision tower.

Engram: The Research That Didn't Make It In

In January 2026 — three months before V4's release — DeepSeek and Peking University published Conditional Memory via Scalable Lookup: A New Axis of Sparsity for Large Language Models, introducing a module called Engram. The community immediately read it as V4's secret sauce. The V4 technical report makes no mention of Engram whatsoever.

That absence is worth unpacking.

What Engram Actually Proposed

Standard Transformers — including MoE variants — have no native primitive for knowledge lookup. Every "memory" is simulated through computation: attention attends over all positions, experts activate dynamically, but there's no deterministic retrieval path. Engram proposed a third axis of sparsity alongside MoE: a conditional memory bank that routes known n-gram patterns directly to their embeddings, bypassing attention entirely.

The implementation stores n-gram sequences (up to order 4) as compressed suffix representations hashed into a vocabulary of 2.26 billion slots. When a known sequence appears in context, Engram retrieves its embedding in O(1) time and modulates it through a lightweight context-aware gate against the current hidden state — a scalar operation, not multi-head attention. The memory bank is too large for GPU VRAM, but the paper showed that offloading to host DRAM costs only a 2.8% throughput penalty, because n-gram access follows Zipfian distribution and can be prefetched during the preceding layer's compute.

The paper also discovered a Sparsity Allocation Law: dedicate ~20–25% of your sparse parameter budget to the Engram memory module and keep the rest for computation, and you outperform pure MoE at the same total parameter count. The optimum was stable across both compute regimes tested.

Benchmark MoE-27B (baseline) Engram-27B Δ gain Notes
MMLU baseline +3.0 +3.0 Iso-param, iso-FLOPs
CMMLU baseline +4.0 +4.0 Chinese knowledge
BBH (reasoning) baseline +5.0 +5.0 Chain-of-thought tasks
HumanEval baseline +3.0 +3.0 Code generation
MATH baseline +2.4 +2.4 Math reasoning
Multi-Query NIAH 1M 84.2% 97.0% +12.8 Long-context needle retrieval

These are not free gains from extra parameters or compute. Engram replaces wasted attention on static patterns with direct lookup — same budget, better output. The long-context NIAH jump from 84.2% to 97.0% at 1M tokens is especially striking given that V4's own reported MRCR-1M score is 83.5%. Engram, at the 27B scale, already outperforms V4-Pro on this dimension.

Why It Didn't Ship — Two Theories

DeepSeek offered no public explanation. The paper itself provides a signal: the tiered cache hierarchy — hot n-grams in DRAM, rare patterns on NVMe SSD — is described as a promising direction rather than a demonstrated result. At 1.6T parameter scale, the Engram bank would be substantially larger than the 27B prototype. A 2.8% throughput hit at 27B may not hold at 10× the scale while serving tens of thousands of concurrent requests.

Theory A

Engineering slip

The DRAM-offload and prefetch pipeline wasn't production-hardened at 1.6T scale in time for this release. DeepSeek chose to ship the attention architecture without it rather than delay further.

Theory B

It's in there, unnamed

V4's CSA + HCA hybrid attention achieves some of Engram's long-context gains through a different mechanism. Engram-style lookup may be incorporated but not disclosed — DeepSeek's technical reports routinely under-document architectural choices.

Why this matters beyond V4

Engram's MMLU gains (+3.0) point directly at V4's current weakness against Gemini. If the module ships in V4.5 or V5 at production scale, the knowledge and factual-recall gap closes without any new training data — just better parameter allocation. The paper is an explicit roadmap, and it's already published.

Why the Numbers Deserve Skepticism

The AI benchmark ecosystem has a saturation problem. HumanEval — the de facto coding eval for years — now clusters every frontier model between 88–92%. At that level, the differences are within noise, and the comparisons become marketing rather than measurement.

DeepSeek's benchmark comparisons are curated. They foreground wins (coding, agentic, long context) and omit losses (SimpleQA, MMLU-Pro, factual recall). That's not deception — every lab does this — but reading the headline numbers without the full table gives you a distorted picture.

The more reliable signal comes from task-grounded evals: SWE-bench Verified tests real GitHub issues, not synthetic problems. LiveCodeBench uses competitive programming with time-controlled data cutoffs. Codeforces Rating is a live arena that's extremely hard to overfit. On all three, V4 performs. The skepticism should be applied to the cherry-picked leaderboard presentation, not the underlying results on harder evals.

The saturation problem

Multiple frontier models now score 90%+ on HumanEval — a benchmark of synthetic, single-function Python problems. This tells you nothing about which model will succeed on a 200-file TypeScript refactor. The field needs SWE-bench primacy, not HumanEval dominance.

Why the KV Cache Numbers Change Everything

V4's genuine breakthrough isn't in a benchmark cell. It's in how the model computes attention at long contexts — and what that does to the cost of serving it.

Traditional transformer attention scales quadratically with context length. At 1M tokens, the KV cache becomes the bottleneck: it grows so large that you either run one user at a time or you can't serve the context at all. This is why "1M context" in most models is a theoretical claim, not a practical one.

V4 ships a hybrid attention architecture that combines two mechanisms: Compressed Sparse Attention (CSA) for routine positions, and Heavily Compressed Attention (HCA) for cross-window aggregation. Together they reduce KV cache to 10% of V3.2's footprint at 1M tokens, while retaining 27% of the single-token inference FLOPs.

KV Cache Growth: V3.2 vs V4 at scale
Context Length    V3.2 KV Cache    V4 KV Cache    Concurrent Users (same VRAM)
──────────────────────────────────────────────────────────────────────────────
128K              baseline         ~10% baseline   ~10×
512K              ████████████     █               growing gap
1M                ████████████████ ██              ~10× more users
──────────────────────────────────────────────────────────────────────────────
Real-world impact: V3.2 → 4 concurrent requests
                   V4   → ~40 concurrent requests (same hardware)
      

This matters enormously for deployment economics. If you're serving a coding agent that uses 200K tokens of context per session, V3.2 lets you handle maybe four simultaneous users before GPU memory is exhausted. V4, with the same budget, handles roughly forty. That's not a 10% improvement — it's a different product category.

Pair this with FP4 quantization for MoE expert weights (a first for a model this size) and you compound the memory savings further. The 49B active-parameter profile means a 1.6T-parameter model runs inference at the cost of a ~50B dense model — which is already well within reach of a single 8×H100 node.

10% of V3.2's KV cache at 1M tokens
27% of V3.2's single-token inference FLOPs
~10× more concurrent users on same hardware
49B active params out of 1.6T total (MoE)

The Other Architectural Pieces

Manifold-Constrained Hyper-Connections (mHC) replace standard residual connections. This sounds esoteric but has a practical effect: it improves gradient flow through the very deep MoE stack, which directly enables the 32T+ token pre-training run without instability. You don't get to train on 32 trillion tokens without solving the propagation problem first.

The Muon optimizer — a second-order momentum method that approximates gradient whitening — is the other training-side novelty. It converges faster and more stably than AdamW at large batch sizes, which is what you need when training a 1.6T model across thousands of GPUs. These are infrastructure choices, not headline features, but they're what makes the training compute efficiency claims credible.

Where V4 Leads, Where It Doesn't

With the benchmark hygiene caveat applied, here's the honest performance picture. V4 dominates on coding and agentic evals — the categories where the evals are hardest to game. It trails on general knowledge and factual recall, where Gemini is the clear leader.

Benchmark V4-Pro Claude Opus 4.x Gemini / GPT-5.4 Notes
LiveCodeBench 93.5 ★ 88.8 Competitive programming, data-cutoff controlled
Codeforces Rating 3206 ★ 3168 (GPT-5.4) Live arena, very hard to overfit
Terminal-Bench 2.0 67.9 ★ 65.4 Real shell tasks, agentic
SWE-Verified 80.6 80.8 Effectively tied; real GitHub issues
MRCR 1M (long ctx) 83.5 ★ 76.3 (Gemini) Multi-doc retrieval at 1M tokens
CorpusQA 1M 62.0 ★ 53.8 (Gemini) Long-context QA
MMLU-Pro 87.5 89.1 91.0 (Gemini) ★ General knowledge — V4 trails
SimpleQA 57.9 75.6 (Gemini) ★ Factual recall — significant gap
Reading the table right

V4 wins where tasks are grounded, structured, and tool-use-adjacent. It loses where factual recall and broad world knowledge dominate. For coding agents and long-context document work, it's the best open model. For a general-purpose knowledge assistant, Gemini still leads.

How the Economics Stack Up

At $1.74 per million input tokens, V4-Pro costs roughly 35% of Claude Opus 4.6's standard rate and less than half of Gemini 2.5 Pro's output cost. For output tokens — where most of the billing accrues in agentic workloads — the gap is even starker: Opus charges $25 per million output tokens versus V4's $3.48, a 7× difference.

Model Input / 1M Output / 1M Input >200K Context
DeepSeek V4-Pro $1.74 ★ $3.48 ★ $1.74 1M (default)
DeepSeek V4-Flash ~$0.30 ~$0.60 ~$0.30 1M (default)
Gemini 2.5 Pro $1.25 $10.00 $2.50 1M
Claude Opus 4.6 $5.00 $25.00 $10.00 200K std / 1M ext

The cross-200K pricing structure is where V4's architectural advantage translates most directly into cost advantage. Anthropic and Google both apply premium rates once you exceed 200K input tokens. V4 has no such cliff — its architecture was designed for 1M context from the start, so the pricing doesn't penalize you for using it. A coding agent session consuming 500K tokens costs the same per-token rate as one consuming 50K.

For a typical agentic coding workload — say $500/month on Opus 4.6 at standard context — the equivalent V4-Pro spend is roughly $70/month. That's not a rounding error; it's a budget category shift. For companies running thousands of agent sessions daily, V4's economics make production deployments that were previously cost-prohibitive suddenly viable.

Prices above reflect third-party API (OpenRouter). Direct DeepSeek API pricing in CNY is marginally lower at current exchange rates; either way, the order-of-magnitude gap versus Anthropic's frontier pricing is structural, not promotional.

Flash is the sleeper pick

V4-Flash at ~$0.30/$0.60 per million tokens nearly matches Pro on structured agentic tasks. For multi-step pipelines where most calls are routing, planning, or summarizing rather than deep reasoning, Flash cuts your API bill by ~80% vs Pro with minimal accuracy loss on those task types. The Flash-to-Pro handoff pattern — cheap model for orchestration, expensive model only for the hard step — is now economically compelling.

The Agent-First Design Is a Real Bet

V4 is the first open model that was explicitly designed for agentic workflows from the architecture level up — not retrofitted with an agent wrapper afterward. The 1M context default, the hybrid attention that makes that context cheap to serve, the native integration with Claude Code and OpenClaw, the built-in thinking modes: these are coherent choices, not a feature checklist.

The Think / Think-High / Think-Max triad gives developers explicit control over reasoning depth at inference time. Non-Think mode returns fast results for routine tasks; Think-Max enables extended chain-of-thought for problems at the model's reasoning boundary (requiring at least a 384K token context window). That's a practical API design, not a marketing tier.

Architecture

1M Context by Default

Not a premium add-on. Not a paid tier. The standard context length — at 10% of V3.2's KV cache cost. Entire codebases fit in a single prompt.

API

Thinking Modes

Three depths: Non-Think for speed, Think-High for complex reasoning, Think-Max for boundary exploration. Callers control the compute budget explicitly.

Open Source

MIT License · FP4 Experts

The most capable open-weight model ever released, with a permissive license and novel FP4 MoE quantization that makes self-hosting economically viable for teams with H100 access.

The Flash Model Is Underrated

DeepSeek-V4-Flash (284B total / 13B active) is the quiet story in the V4 release. At 13B active parameters, it's comparable in inference cost to a mid-sized dense model — but it nearly matches the Pro variant on simple agentic tasks. For pipelines that chain dozens of agent steps, the economics of Flash are compelling: you're paying for a 13B model and getting something that routes, plans, and executes at near-Pro quality on structured tasks.

Yes, it's still too large for a consumer GPU. But for teams serving these models in the cloud, Flash closes the gap between "bleeding edge" and "affordable at scale."

Open Weight + Hardware Sovereignty

The geopolitical subtext of V4 is impossible to ignore. Huawei confirmed its Ascend AI processors can run V4 natively — and Beijing has been actively pushing Chinese companies toward domestic chips to reduce Nvidia dependence. A model this capable, running on domestically-produced hardware, changes the calculus around AI sovereignty.

For the global open-source ecosystem, the implications are different but also significant. V4 with an MIT license means it can be fine-tuned, distilled, and deployed without restriction. The gap between "open" and "closed" keeps narrowing: V4 beats Opus on LiveCodeBench, matches it on SWE-Verified, and does so with a weight file anyone can download.

Who Should Care and Why

If you were building a multimodal application or hoping to run a local LLM on a gaming rig, V4 is not your answer — and your disappointment is legitimate. DeepSeek made a choice to go deep on coding and agentic efficiency rather than broad on modalities and accessibility. That's a valid strategy, but they should have communicated it instead of letting expectations run ahead.

If you're deploying coding agents or long-context document pipelines at scale, V4 is the most interesting infrastructure development in months. Not because of benchmark numbers, but because the KV cache math changes what's economically feasible. Going from 4 to 40 concurrent users on the same hardware isn't a talking point — it's the difference between a pilot and a production deployment.

The leap is real. It's just not the leap people expected.

Migrating to V4

The API is a model-name swap with one new parameter for thinking mode control. If you're using the OpenAI-compatible endpoint, the change is minimal.

Python — DeepSeek V4 API (OpenAI-compatible)
# Before (retiring July 24 2026):
# model="deepseek-chat" or model="deepseek-reasoner"

from openai import OpenAI

client = OpenAI(
    api_key="<DEEPSEEK_API_KEY>",
    base_url="https://api.deepseek.com/v1",
)

response = client.chat.completions.create(
    model="deepseek-v4-pro",          # New model name
    messages=[
        {"role": "user", "content": "Refactor this repo to use async/await"},
    ],
    extra_body={
        "thinking_mode": "think_high"    # non_think | think_high | think_max
    },
    max_tokens=8192,
)

print(response.choices[0].message.content)
Think Max requires headroom

If you use think_max, ensure your context window is at least 384K tokens — the extended chain-of-thought can consume tens of thousands of tokens before reaching the final answer. Budget accordingly, or the reasoning will be truncated mid-chain.