AI Agents for the Working Mathematician | Dark Hacker News