alkjash comments on Existential Risk from AI: An Exposition for Mathematicians