gwern comments on Dario Amodei leaves OpenAI