AI Model Release Tracker - Analytics

DeepSeek-V4-Provso4-mini

DeepSeek-V4-Pro
o4-mini
Benchmarks
Nonsense detection
BullshitBench v2
14%Best
8%
Competitive coding
LiveCodeBench
93.5%
Web browsing
BrowseComp
83.4%
Science
GPQA Diamond
90.1%
Community preference (code)
Arena Elo (Code)
1457
Timeline
Release gapo4-mini shipped 373 days before DeepSeek-V4-Pro
Overview
CompanyDeepSeekOpenAI
Release dateApr 24 2026Apr 16 2025
AccessOpen WeightProprietary

Which is better: DeepSeek-V4-Pro or o4-mini?

DeepSeek-V4-Pro leads o4-mini on 1 of the 1 benchmark they both report (BullshitBench v2). o4-mini shipped 373 days before DeepSeek-V4-Pro, so benchmark comparisons should account for the intervening progress.

DeepSeek-V4-Pro is open weight, while o4-mini is proprietary.

On BullshitBench v2, DeepSeek-V4-Pro leads at 14% vs o4-mini at 8%.

Frequently asked questions

DeepSeek-V4-Pro was released by DeepSeek on Apr 24 2026.

o4-mini was released by OpenAI on Apr 16 2025.

DeepSeek-V4-Pro is an open weight model released by DeepSeek. o4-mini is a proprietary model released by OpenAI.

Other comparisons