No they really don't because Grok is not a competitor. The big 3 are the big 3 because they have historically traded the top place for model intelligence. Grok has never crested that high. People like to think Grok isnt as popular because of elon and politics, but if Grok was the best coding model, nobody would give a fuck. Google has also not led since gemini 2.5 pro. It's really the big 2 at this point.