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.

How much on Kalshi to bet that xAI screws over the Cursor folks out of their $10B/60B deal through some loophole?

Only desperate people would go work for Elon at this point.