ryan_greenblatt comments on The basic reasons I expect AGI ruin