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