OpenAI just released o3-mini, a reasoning model that’s faster, cheaper, and more accurate than its predecessor.