AI Model Release Tracker - Analytics

DeepSeek-V4-ProvsMagistral Small

DeepSeek-V4-Pro
Magistral Small
Benchmarks
Nonsense detection
BullshitBench v2
14%
Competitive coding
LiveCodeBench
93.5%
Web browsing
BrowseComp
83.4%
Science
GPQA Diamond
90.1%
Community preference (code)
Arena Elo (Code)
1457
Timeline
Release gapMagistral Small shipped 318 days before DeepSeek-V4-Pro
Overview
CompanyDeepSeekMistral
Release dateApr 24 2026Jun 10 2025
AccessOpen WeightProprietary

Which is better: DeepSeek-V4-Pro or Magistral Small?

DeepSeek-V4-Pro and Magistral Small don't publish scores on any of the same benchmarks, so there's no direct head-to-head comparison. Magistral Small shipped 318 days before DeepSeek-V4-Pro, so benchmark comparisons should account for the intervening progress.

DeepSeek-V4-Pro is open weight, while Magistral Small is proprietary.

Direct benchmark comparisons are unavailable — DeepSeek-V4-Pro and Magistral 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.

Magistral Small was released by Mistral on Jun 10 2025.

DeepSeek-V4-Pro is an open weight model released by DeepSeek. Magistral Small is a proprietary model released by Mistral.

Other comparisons