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