Pete Hegseth has chosen to plug Grok into the Pentagon's classified military networks as part of a broader AI push.