OpenAI and Apollo Research trained o3 and o4-mini