Great @washingtonpost story about this yesterday by @TaylorLorenz
, who also noted the name Grok was derived from "Grocket." https://
washingtonpost.com/technology/202
3/12/14/grok-grimes-curio-toy/
…
Grok AI Tool Name Origin Story and Development
By
–