A model derived from Grok, the "Grok Gov Model," is being used in a US military AI-assisted targeting program, according to the Pentagon.