Showing cs.AIShow all
2 papers · 1 filter
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…
cs.AI2026
Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery
Alex Bäuerle, Adam Connors, Alexander Novikov +5
Artificial intelligence offers powerful new tools for scientific discovery, but the interaction paradigms required to effectively harness these systems remain underexplored. In thi…