Si Grok 5 logra AGI, ¿cuál es su primera pregunta para él?