O Pentágono está enviando Grok e ChatGPT para seus 1,7 milhões de usuários militares ativos