Das Pentagon nutzt jetzt eigene Versionen von ChatGPT und Grok. Wofur setzt das US-Militar die KI-Dienste ein?