2 papers
cs.AI2026
AI co-mathematician: Accelerating mathematicians with agentic AI
Daniel Zheng, Ingrid von Glehn, Yori Zwols +15
We introduce the AI co-mathematician, a workbench for mathematicians to interactively leverage AI agents to pursue open-ended research. The AI co-mathematician is optimized to prov…
math.GT2025
The unknotting number, hard unknot diagrams, and reinforcement learning
Taylor Applebaum, Sam Blackwell, Alex Davies +5
We have developed a reinforcement learning agent that often finds a minimal sequence of unknotting crossing changes for a knot diagram with up to 200 crossings, hence giving an upp…