Google and OpenAI employees urge restrictions on AI military applications and call for drawing red lines.