Musk’s AI, Grok, was used in strikes in Iran, reveals Pentagon Le Monde.fr