The Defense Department wants to use AI in warfare. In the aftermath of Project Maven, it still needs Big Tech’s help.