Das Pentagon nutzt jetzt eigene Versionen von ChatGPT und Grok. Wofür setzt das US-Militär die KI-Dienste ein?