How mathematicians are responding to AI | Dark Hacker News