AI Co-Mathematician: Accelerating Mathematicians with Agentic AI (ArXiv cs.AI Recent Papers, 2026)