The Pentagon has signed a multi-million dollar deal to begin using Elon Musk's artificial intelligence chatbot, Grok, as part of a wider rollout of AI tools for government use.