OpenAI CTO Mira Murati Is Leaving the Company