The Future of Math Research in the Age of AI | Dark Hacker News