No body who has a choice is using Grok
> Is Grok solving Erdos problems?
Mēh! At a slower rate than models a fraction of the price
The Grok app had over 100 million downloads in 2025, over 60 million active users, and generated $350 million in revenue. That’s a lot of people being forced to use it.