“Contracts for commercial AI models used by the Department of War under the previous administration prohibited using the AI to plan operations or move satellites if it could potentially lead to a kinetic strike.”