One of OpenAI’s highest profile executives, she’s among a series of longtime managers and researchers to leave the start-up in recent months.