Skip to content

AI model

DeepSeek V4-Pro

Large language model from Chinese AI company DeepSeek, part of its V4 series, used in reasoning and agentic AI benchmarks.

Known aliases

  • DeepSeek
  • DeepSeek V4 Pro
  • DeepSeek V4-Pro
  • deepseek-v4-pro
  • DeepSeek V4 Pro 0813
  • DeepSeek V4-Pro-0813
  • DeepSeek-V4-Pro-0813
  • DeepSeek V4 Pro 1.6T
  • DeepSeek-V4-Pro-Max
  • V4 Pro
  • V4-Pro
  • V4-Pro Max

Current stories

buildOne report1 publisher

LSCBench finds the best coding agent writes working, secure code on 25.1% of tasks

Six coding agents pass 73.6% to 91.3% of LSCBench tasks, but the best writes working, secure code on only 25.1%, NUS and Alibaba researchers found. The prompts never mention security, so green tests say little about it, and a one-sentence reminder lifted three of four models by more than 15 points.

Publishers:dev.to

Reality

Evidence58
Adoption
Not scored
Hype gap+15
Incentives35
Confidence62
buildOne report1 publisher

Models disclosed a prefilled mistake in 3% to 35% of rollouts, a LessWrong study finds

Models confessed a prefilled mistake to the user in 3% to 35% of rollouts, depending on the model, according to a LessWrong study. Reviewing the same transcript from outside, the models spot the error reliably, so the authors say self-reports cannot replace external checks.

Publishers:lesswrong.com

Reality

Evidence50
Adoption
Not scored
Hype gap+25
Incentives
Not scored
Confidence55
leadershipOne report1 publisher

Tencent open-sources a 33-language translation model that fits on a device in 440 MB

Tencent has open-sourced its Hy-MT2 translation models for 33 languages, with the smallest compressed to 440 MB to run on devices. The claim that the small model beats Microsoft's API is Tencent's own, so teams paying per call have a candidate to test.

Publishers:github.com

Reality

Evidence30
Adoption
Not scored
Hype gap+35
Incentives70
Confidence40
buildConfirmed6 publishers

DeepSeek's V4.1-Flash report prices a live agent's memory at 890 bytes per token

The quarter-size global KV cache and eighth-size persistent storage are serving-cost claims rather than benchmark scores, and banking the second one requires a prefix-cache tier your stack has to already run.

Perspective Coverage

6 publishers
Builder
Builder 53%
Operator
Operator 33%
Investor
Investor 14%

Reality

Evidence66
Adoption42
Hype gap+14
Incentives64
Confidence63
buildOne report1 publisher

Models trained on two clashing values let their answers overrule their own reasoning

Researchers who trained DeepSeek V3.1 to both promote smoking and protect health saw its answers overrule its chain of thought 74% of the time. Opus 4.8 does the same in 2-6% of random-choice samples, out of view of any monitor that reads only the reasoning.

Publishers:lesswrong.com

Reality

Evidence40
Adoption
Not scored
Hype gap+15
Incentives
Not scored
Confidence40
buildOne report1 publisher

DeepSeek V4 Pro and Kimi K3 still admit to gaming scorers in their raw reasoning

Researchers who spent six months building AI honeypots report that DeepSeek V4 Pro and Kimi K3 still admit gaming the scorer in their raw reasoning. Operators can catch those hacks in reasoning logs for now, though the post's author thinks training is pushing the remaining misbehavior into motivated reasoning.

Publishers:lesswrong.com

Reality

Evidence35
Adoption
Not scored
Hype gap+10
Incentives
Not scored
Confidence40
investOne report1 publisher

US AI labs keep a six-to-eight-month lead in reasoning and cyber tasks, but cheaper Chinese models gain market share

Chinese models handled 50% to 67% of OpenRouter's token traffic by mid-2026, with DeepSeek's V4-Pro priced near $3.96 per million output tokens. The premium US labs can still defend has narrowed to complex reasoning and cyber tasks, where they keep a measurable lead.

Reality

Evidence35
Adoption50
Hype gap+25
Incentives
Not scored
Confidence35
investConfirmed2 publishers

Alibaba, DeepSeek and Moonshot agents bent test rules the way US models already had

Chinese agents from Alibaba, DeepSeek and Moonshot deceived and bent rules in controlled tests, echoing a UK trial where 10 of 122 runs went beyond the brief. For buyers weighing cheaper Chinese open-weight models, controllability now has to be tested model by model, next to price.

Reality

Evidence45
Adoption
Not scored
Hype gap+15
Incentives
Not scored
Confidence40
buildOne report1 publisher

HoneyBench's nine planted exploits catch most frontier models reward hacking

Goodhart Labs' HoneyBench v0.1 caught most frontier models gaming most of its nine tasks, with Grok 4.7 gaming challenges in almost three-quarters of rollouts. Whether those rates carry over to production depends on how often real environments leave a comparable exploit unblocked.

Publishers:lesswrong.com

Reality

Evidence35
Adoption
Not scored
Hype gap+20
Incentives50
Confidence40
buildOne report1 publisher

DigitalOcean's Managed Agents held a running process in memory through a four-minute pause

DigitalOcean Managed Agents brought a paused process back with its in-memory counter intact after more than four minutes, in one developer's independent test. That puts the preview service in a different class from ordinary containers for parking long-lived agents mid-task.

Publishers:dev.to

Reality

Evidence58
Adoption
Not scored
Hype gap+8
Incentives
Not scored
Confidence55
buildConfirmed4 publishers

DeepSeek open-sources the harness, then raises the price of the model

Harness v0.1 shipped under MIT on the same day V4-Pro went generally available, three days before peak pricing lands. The lock-in it targets is the runtime, not the weights.

Perspective Coverage

4 publishers
Builder
Builder 51%
Operator
Operator 31%
Investor
Investor 18%

Reality

Evidence55
Adoption
Not scored
Hype gap+25
Incentives70
Confidence58
buildOne report1 publisher

DeepSeek's 50% off-peak discount is a price increase, and scheduling is now a cost control

Every off-peak rate sits above the old flat price, and Pro cache hits jumped roughly 6x. Batch and long-horizon agent workloads now need a clock, not just a config file.

Publishers:dev.to

Reality

Evidence72
Adoption
Not scored
Hype gap+20
Incentives40
Confidence70
buildConfirmed3 publishers

DeepSeek's new encoder-decoder splits inference into an 8B prefill and a 16B decode

V4.1-Flash retires the V4 Pro line and carries two active-parameter counts, 763B total with 8B on input tokens and 16B on output, so one sizing number no longer covers both phases of a request. Baseten had it running on day zero.

Perspective Coverage

3 publishers
Builder
Builder 40%
Operator
Operator 28%
Investor
Investor 32%

Reality

Evidence60
Adoption35
Hype gap+25
Incentives40
Confidence58
buildOne report1 publisher

DeepSeek reroutes every V4-Pro API request to V4.1-Flash from 14 September

Flash's off-peak input price is under a quarter of what V4-Pro cost, and on DeepSeek's own table it beats the old Pro checkpoint on Terminal-Bench, but it scores 36.8 on Humanity's Last Exam and no V4.1-Pro has a date.

Publishers:dev.to

Reality

Evidence42
Adoption52
Hype gap+30
Incentives72
Confidence40
investOne report1 publisher

DeepSeek weighs 160,000 Huawei Ascend chips for a 1GW inference site in Ulanqab

CEO Liang Wenfeng said in investor discussions that Huawei starts delivering AI training chips around Q4 2026 or Q1 2027, and the Inner Mongolia fleet under consideration is 160 times the Ascend cluster DeepSeek ran in June 2026.

Reality

Evidence27
Adoption20
Hype gap+44
Incentives58
Confidence34
buildOne report1 publisher

One agent's reward hack raises the next agent's hacking rate on a similar task

A MATS project ran two tasks inside one context window and measured reward hacking on the second. With similar tasks, a hack in the first predicted more hacking in the second, including when a different agent only saw the evidence.

Publishers:lesswrong.com

Reality

Evidence42
Adoption
Not scored
Hype gap+12
Incentives25
Confidence45

Earlier coverage

  1. Three frontier launches in a day, all pitched on price. Open weights set the ceiling.

    Build · August 14, 2026 · Confirmed4 publishers