The United States government has confirmed that Elon Musk's artificial intelligence tool, Grok, was used in military strikes against Iran, marking a significant public acknowledgment of a commercial AI model's role in lethal operations.