AI Model Release Tracker - Timeline of Major AI Models from 2022-2026

Home/Compare/DeepSeek-V4-Pro vs o3-mini-high

DeepSeek-V4-Pro vs o3-mini-high

1 vs 0 benchmarks won

DeepSeek
DeepSeek-V4-Pro
OpenAI
o3-mini-high
Overview
CompanyDeepSeekOpenAI
Release dateApr 24 2026Jan 31 2025
Model type
Open sourceYesNo
Specifications
Parameters
Context window
Benchmarks
Science reasoning
GPQA Diamond
90.1%
Software engineering
SWE-Bench Verified
Multimodal understanding
MMMU
Timeline
Release gapo3-mini-high shipped 448 days before DeepSeek-V4-Pro

Which is better: DeepSeek-V4-Pro or o3-mini-high?

DeepSeek-V4-Pro leads o3-mini-high on 1 of the tracked benchmarks (GPQA Diamond, SWE-Bench Verified, MMMU). o3-mini-high shipped 448 days before DeepSeek-V4-Pro, so benchmark comparisons should account for the intervening progress.

DeepSeek-V4-Pro is an open-source / open-weight model; o3-mini-high is proprietary.

Direct benchmark comparisons are unavailable — at least one of these models has not published scores on GPQA Diamond, SWE-Bench Verified, or MMMU.

Frequently asked questions

When was DeepSeek-V4-Pro released?
DeepSeek-V4-Pro was released by DeepSeek on Apr 24 2026.
When was o3-mini-high released?
o3-mini-high was released by OpenAI on Jan 31 2025.
Is DeepSeek-V4-Pro or o3-mini-high open source?
DeepSeek-V4-Pro is an open-source / open-weight model released by DeepSeek. o3-mini-high is a proprietary model released by OpenAI.

Other comparisons