X?

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.