OpenAI's robotics head resigns over Pentagon deal.