Existential Risk from AI: An Exposition for Mathematicians | Hacker News Reader