The Department of Defense's agreements will enable AI from the likes of Google and OpenAI to run on top-secret military networks.