Where does the name Grok come from?

“…Stranger in a Strange Land, the Heinlein book where our AI name “Grok” was created. To Grok something means to understand deeply and empathetically.”

— Elon Musk, 17 July 2025 · Post on X ↗