AI Model Release Tracker - Analytics

DeepSeek-V4-Provso4-mini-high

DeepSeek-V4-Pro
o4-mini-high
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 gapo4-mini-high 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-high?

DeepSeek-V4-Pro and o4-mini-high don't publish scores on any of the same benchmarks, so there's no direct head-to-head comparison. o4-mini-high 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-high is proprietary.

Direct benchmark comparisons are unavailable — DeepSeek-V4-Pro and o4-mini-high don't publish scores on any of the same benchmarks.

Frequently asked questions

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

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

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

Other comparisons