So, we currently have o4-mini and o4-mini-high, which represent medium and high usage of “thinking” or use of reasoning tokens.

This announcement adds o3-pro, which pairs with o3 in the same way the o4 models go together.

It should be called o3-high, but to align with the $200 pro membership it’s called pro instead.

That said o3 is already an incredibly powerful model. I prefer it over the new Anthropic 4 models and Gemini 2.5. It’s raw power seems similar to those others, but it’s so good at inline tool use it usually comes out ahead overall.

Any non-trivial code generation/editing should be using an advanced reasoning model, or else you’re losing time fixing more glitches or missing out on better quality solutions.

Of course the caveat is cost, but there’s value on the frontier.