Elon Musk now hates OpenAI but he was also the one who named it