ChatGPT Plus, Pro, and Team users will see o3, o4-mini, and o4-mini-high in the model selector starting today, replacing o1, o3‑mini, and o3‑mini‑high.

I subscribe to pro but don't yet see the new models (either in the Android app or on the web version).