Se o Grok 5 atingir a AGI, qual é a sua primeira pergunta para isso?