Tech »  OpenAI's head of robotics resigns following deal with the Department of Defense