The Verge reported: OpenAI is releasing two new AI reasoning models today: o3, which the company calls its “most powerful reasoning model,” and o4-mini, which is a smaller and faster model that ...