World war and the arithmetic of AI extinction risk · Digg