AI co-mathematician: Accelerating mathematicians with agentic AI #1 Post by aoki » Fri, May 15, 2026, 2:22 AM UTC AI co-mathematician: Accelerating mathematicians with agentic AIarxiv.org