Grok to me seems like an awesome name for an AI in any case, not because of some reference to a book but because of the meaning of the word. For sure beats “Bard”.
Yes, grok is a useful word, which is why it sucks that it is now associated with this flaming pile of human excrement.