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”.