DeepSeek-V4-Pro vs Devstral Small
DeepSeek DeepSeek-V4-Pro | Mistral Devstral Small | |
|---|---|---|
| Overview | ||
| Company | DeepSeek | Mistral |
| Release date | Apr 24 2026 | May 21 2025 |
| Access | Open Weight | Open Weight |
| Specifications | ||
Parameters | — | 24B |
| Benchmarks | ||
Nonsense detection BullshitBench v2Given a confidently-worded but nonsensical prompt, does the AI spot that it makes no sense and push back — instead of playing along and inventing an answer? The score is how often it clearly called out the nonsense. Higher is better. | 14% | — |
Competitive coding LiveCodeBenchCoding problems published so recently the AI can't have seen them in training — a contamination-free test of raw programming skill. Higher is better. | 93.5% | — |
Web browsing BrowseCompCan the AI browse the web and track down hard-to-find answers? Higher is better. | 83.4% | — |
Science GPQA DiamondGraduate-level science questions in biology, physics, and chemistry — hard enough that subject-matter PhDs score around 65%. Higher is better. | 90.1% | — |
| Timeline | ||
| Release gap | Devstral Small shipped 338 days before DeepSeek-V4-Pro | |
Which is better: DeepSeek-V4-Pro or Devstral Small?
DeepSeek-V4-Pro and Devstral Small don't publish scores on any of the same benchmarks, so there's no direct head-to-head comparison. Devstral Small shipped 338 days before DeepSeek-V4-Pro, so benchmark comparisons should account for the intervening progress.
Published specifications for these two models are limited — see each model page for the latest details.
Direct benchmark comparisons are unavailable — DeepSeek-V4-Pro and Devstral Small don't publish scores on any of the same benchmarks.
Frequently asked questions
DeepSeek-V4-Pro was released by DeepSeek on Apr 24 2026.
Devstral Small was released by Mistral on May 21 2025.
Other comparisons
DeepSeek-V4-Pro vs Claude Sonnet 5Devstral Small vs Claude Sonnet 5DeepSeek-V4-Pro vs GPT-5.6 SolDevstral Small vs GPT-5.6 SolDeepSeek-V4-Pro vs Gemini OmniDevstral Small vs Gemini OmniDeepSeek-V4-Pro vs Muse Spark 1.1Devstral Small vs Muse Spark 1.1DeepSeek-V4-Pro vs Grok 4.5Devstral Small vs Grok 4.5DeepSeek-V4-Pro vs Kimi K2.7 CodeDevstral Small vs Kimi K2.7 Code