Artificial Intelligence for Humanizing and Enhancing the Learning of Proofs
Project Director:
Funded by:
National Science Foundation
Partners:
University of Florida
Region:
United States
Duration:
2025-Present
Challenge
Artificial intelligence (AI) has the potential to revolutionize learning and teaching. Unlocking AI’s promise, however, requires the development of new AI tools that are specifically designed for the classroom, and that use the most effective strategies to ensure students’ successful learning.
EDC and the University of Florida are partnering to develop an AI model that provides immediate feedback on students’ mathematical proofs. When complete, the tool will support college students in proof-oriented mathematics courses and the postsecondary faculty who teach them.
Key Activities
The project team is carrying out the following activities:
- Convene experts to build a constitution that will guide the development and training of a large language model (LLM) to give feedback on student proofs
- Create a website where students can write proofs, receive immediate feedback on their proofs, and revise and resubmit new drafts
Impact
Project findings will:
- Advance understanding of how students learn to write proofs, how AI can be used to support student learning, and which approaches are most effective in aligning AI with educational values and priorities
- Inform the development of other LLMs and AI tools for use in educational settings
