grok será a IA mais rica do planeta e também da lua e de Marte