Grok, l'IA contestée d'Elon Musk au service de la défense américaine