How Elon Musk left OpenAI, according to Greg Brockman TechCrunch