Although I dislike the pricing, OpenAI do sit on some of the best models/processes. o1 Pro mode is a literal beast even compared to newer R1 and Sonnet 3.7. I'm not sure I'd call it 10x better (than R1 specifically) perhaps, but it certainly is better (and slower).