← back to paper
arxiv: 2605.06651 · 2 revisions
AI co-mathematician: Accelerating mathematicians with agentic AI