Using ChatGPT as a proof assistant in a mathematics pathways course
Hyejin Park, Eric D. Manley · The Mathematical Education · 2024
Learning to write mathematical proofs can be difficult for many learners (novice provers), and the ways in which Artificial Intelligence (AI) can be leveraged to assist these learners is an active research area.Research into automated theorem provers (ATPs), interactive theorem provers, and other proof assistants Using ChatGPT as a proof assistant in a mathematics pathways course