Intentmaking and Sensemaking: Human Interaction with AI-Guided Mathematical Discovery

arXiv:2605.05921v1 Announce Type: new Abstract: Artificial intelligence offers powerful new tools for scientific discovery, but the interaction paradigms required to effectively harness these systems remain underexplored. In this paper, we present findings from a formative user study with 11 expert...