Math with OpenAI o1