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