7 of the biggest names in AI, including OpenAI, Google, Microsoft, and Amazon, are now moving into military systems — but one major player is missing from the list, and that raises uncomfortable questions about where this technology is heading