Mira Murati, Chief Technology Officer at OpenAI, Is Leaving Company