Yeap, that the thing, they are not ahead anymore. Not since last summer at least. Yes they have probably largest customer base, but their models are not the best for a while already.
They don't even have the largest customer base. Google is serving AI Overviews at the top of their search engine to an order of magnitude more people.
Eh, I think o1-pro is by far the most capable model available right now in terms of pure problem solving.
I think Claude has consistently been ahead for a year ish now and is back ahead again for my use cases with 3.7.
You can try Claude 3.7-Thinking and Grok 3 Think.
10 times cheaper, as good, or very similar to o1-pro.
I haven’t tried Grok yet so can’t speak to that, but I find o1-pro is much stronger than 3.7-thinking for e.g. distributed systems and concurrency problems.