Don't they have the biggest budget and largest GPU farm?
Also grok-4.1-fast was one of the top models for a long time, especially in real world usage.