Gen AI in Proof-based Math Courses: A Pilot Study
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914041507610624 |
|---|---|
| author | Klawa, Hannah Rajpal, Shraddha Thomas, Cigole |
| author_facet | Klawa, Hannah Rajpal, Shraddha Thomas, Cigole |
| contents | With the rapid rise of generative AI in higher education and the unreliability of current AI detection tools, developing policies that encourage student learning and critical thinking has become increasingly important. This study examines student use and perceptions of generative AI across three proof-based undergraduate mathematics courses: a first-semester abstract algebra course, a topology course and a second-semester abstract algebra course. In each case, course policy permitted some use of generative AI. Drawing on survey responses and student interviews, we analyze how students engaged with AI tools, their perceptions of generative AI's usefulness and limitations, and what implications these perceptions hold for teaching proof-based mathematics. We conclude by discussing future considerations for integrating generative AI into proof-based mathematics instruction. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_13570 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Gen AI in Proof-based Math Courses: A Pilot Study Klawa, Hannah Rajpal, Shraddha Thomas, Cigole Artificial Intelligence History and Overview Primary: 97U50, Secondary: 97U70, 97D40, 97D60, 97E50, 97H40 With the rapid rise of generative AI in higher education and the unreliability of current AI detection tools, developing policies that encourage student learning and critical thinking has become increasingly important. This study examines student use and perceptions of generative AI across three proof-based undergraduate mathematics courses: a first-semester abstract algebra course, a topology course and a second-semester abstract algebra course. In each case, course policy permitted some use of generative AI. Drawing on survey responses and student interviews, we analyze how students engaged with AI tools, their perceptions of generative AI's usefulness and limitations, and what implications these perceptions hold for teaching proof-based mathematics. We conclude by discussing future considerations for integrating generative AI into proof-based mathematics instruction. |
| title | Gen AI in Proof-based Math Courses: A Pilot Study |
| topic | Artificial Intelligence History and Overview Primary: 97U50, Secondary: 97U70, 97D40, 97D60, 97E50, 97H40 |
| url | https://arxiv.org/abs/2509.13570 |