habryka comments on The Compendium, A full argument about extinction risk from AGI