Greg_Colbourn comments on P(doom|AGI) is high: why the default outcome of AGI is doom