How Elon Musk Left OpenAI, According to Greg Brockman