What even is Grok, anyway?

Elon Musk's new xAI chatbot is called Grok and will be available to X Premium+ subscribers. Here's what the name means.