I was wondering who the hell this Grok person was. I was thinking about what an unfortunate name for a person! No surprise that it’s actually a product and [probably] directly named by an immature billionaire edgelord.
To be clear, I know he didn’t invent the name. But if someone’s parents named them ‘Grok’ I’d understand if they went for a name change.