gwern comments on [linkpost] Elon Musk plans AI start-up to rival OpenAI