why? Grok means to understand intuitively. Seems like a pretty good name compared to Claude or ChatGPT, no?