AI Co-Mathematician: Accelerating Mathematicians with Agentic AI