World war and the arithmetic of AI extinction risk Β· Digg