Mo Putera comments on Existential Risk from AI: An Exposition for Mathematicians