Artificial Intelligence for Humanizing and Enhancing the Learning of Proofs

This project aims to serve the national interest by improving the proof-writing abilities of undergraduate students. This Level II IUSE project, part of the Engaged Student Learning track, intends to accomplish this by training an innovative artificial intelligence model to provide feedback on student proofs to support both college students in proof-oriented mathematics courses and the post-secondary faculty who are teaching them. The project will create a website to demonstrate the model: students will be able to use the website to write proofs, receive immediate feedback on their proofs, and revise and resubmit new drafts for feedback. This model is not intended to replace the work of mathematicians as teachers, but to offer an important tool to faculty - one that gives students immediate, iterative, researched-based feedback on their written proofs in ways that exceed what is practical for professors to provide, and also attends to the needs of diverse learners. To reach its goals, the project will take a Constitutional AI approach, convening a group of experts in proofs, equity, and college-level mathematics teaching and learning to build a constitution that will guide the development and training of a Large Language Model (LLM) specifically trained to give feedback on student proofs that is in line with the constitution. Project research will focus on how the LLM serves students and faculty. The constitution will drive the development of the LLM and will be available for use to support future AI interventions and educational technology work. This work will advance understanding of how students learn to write proofs, how artificial intelligence can be used to support student learning, and how constitutional AI approaches can be used to align artificial intelligence with educational values and priorities. The NSF IUSE: EDU Program supports research and development projects to improve the effectiveness of STEM education for all students. Through the Engaged Student Learning track, the program supports the creation, exploration, and implementation of promising practices and tools. This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.