A pilot study examined the use and perception of generative AI in three undergraduate mathematics courses. Students were allowed to use AI tools, and their survey responses and interviews revealed how they engaged with these tools and what they thought about their accuracy and limitations. The study provides insights into how students interact with AI in proof-based math courses. --- Why it matters: This research matters because it sheds light on the impact of generative AI on mathematics education, which can inform educators' decisions about incorporating AI tools into their teaching practices. Source: https://arxiv.org/abs/2509.13570