A arxiv.org AI co-mathematician: Accelerating mathematicians with agentic AI 3 points aoki 5 months ago 0 comments