OpenAI launches o3-mini, a faster AI reasoning model with web search, challenging DeepSeek. Free ChatGPT users will have ...