OpenAI’s new β€œdeep-thinking” o1 model crushes coding benchmarks