Pure mathematicians and theoretical computer scientists may revisit AI existential-risk debates · Digg