AI Agents for the Working Mathematician #1 Post by chaoxu » Sun, Jul 19, 2026, 6:59 AM UTC AI Agents for the Working Mathematicianchaoxu.prof