I.M.J. McInnis comments on Existential Risk from AI: An Exposition for Mathematicians