This is cool. Formalizes arguments we often make more informally when talking about existential risks.
This is cool. Formalizes arguments we often make more informally when talking about existential risks.