This quote doesn’t define the word, though. As per the article, Grok means “to understand completely” not “to obliterate”.

After the Martians grokked them, they realized there was no option but to obliterate them. This is possibly a valid response, depending how terrible the occupants of said planet were.

It’s still a bad name for a chat bot, as they clearly do not understand anything completely, or at all.