2 ms·Grok is a word made up by Heinlein about 10 years before Musk was born.by TiredOfLife 2y agoGrok is a word made up by Heinlein about 10 years before Musk was born.