Does AI pose an existential threat to mathematicians? | Dark Hacker News