Pentagon bypasses OpenAI's ban on military use in AI research.