643 citations · 769 across the 9 of their papers we have counts for
1 paper · 1 filter
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…