RUME 26
2024
Omaha, Nebraska
Undergraduate Students’ Use of Generative Artificial Intelligence in Proving
Page: 327
In this paper, we explore how undergraduate students use and evaluate generative artificial intelligence (genAI) in proving. We view proving as a human activity and proof as a production of proving, and hence, we believe that students need to be the ones who evaluate the genAI- generated arguments and write their proofs. In the initial phase of research on genAI in proving, we conducted interviews with three undergraduate students to examine how they use genAI in proving and how they write their proofs after their use of genAI. This study revealed that there is a flow in students’ use of ChatGPT in proving, and there are factors that impact their use of genAI. We think that the flowchart presented here can serve as a guide for both teaching and research on the use of genAI in the context of proving.