Add OpenAI o4-mini and o3

While OpenAI’s full o4 isn’t out yet, o4-mini as well as the full o3 were released together half a month ago, so please add both of which. They’re supposed to be some of the best, so time is an important factor here.