Reasoning with OpenAI o1