Grok será a primeira IA na lua.