Devstral 2 (123B) and o3-mini don't publish scores on any of the same benchmarks, so there's no direct head-to-head comparison. o3-mini shipped 312 days before Devstral 2 (123B), so benchmark comparisons should account for the intervening progress.

Devstral 2 (123B) is open weight, while o3-mini is proprietary.

Direct benchmark comparisons are unavailable — Devstral 2 (123B) and o3-mini don't publish scores on any of the same benchmarks.