AI co-mathematician: Accelerating mathematicians with agentic AI
- Published
- Source
- arXiv
- Paper number
- 185
- Field
- Agents / Science / Math
- arXiv ID
- 2605.06651
Key points
- Mathematical research is a complex, iterative process that requires broad exploration, intuition building, and continuous revision beyond formal proof.
- Existing AI tools for mathematics are specialized, such as automated theorem provers or discovery engines, but they lack an integrated, stateful system that can coordinate these capabilities for long-term collaborative workflows.
- Mathematicians currently have to manually integrate multiple AI tools and computation resources across different aspects of their work, because there is no comprehensive, interactive AI assistant.
- AI co-mathematician is an interactive workbench that uses a hierarchy of AI agents built on the Gemini language model to manage and execute mathematical research tasks.
- The system uses a project coordinator agent to refine user intent and delegates tasks to a parallel-workstream coordinator agent that uses specialized subagents for literature review, coding, proof, and computational exploration.
- The system focuses on producing 'living working papers' with internal links, margin notes for citation, and iterative AI-led review loops, while supporting asynchronous interaction and flexible user steering.
Paper links
External research summaries. These are not HDATF publications or measured product results.