A rough model for P(AI doom) — LessWrong