“OpenAI's O1 was the first major "reasoning model" to be released.”