Journal of Mathematical Pedagogy (JOMP)
Vol. 6 No. 2: July 2025

Analysis of Artificial Intelligence Assisted Proof Process Through Principle of Mathematical Induction in Real Analysis Course

Lestari, Isnawati Lujeng (Unknown)
Sari, Mayang (Unknown)
Uripno, Gusti (Unknown)
Suprihatiningsih, Siti (Unknown)
Hariyanti, Firda (Unknown)
Bonyah, Ebenezer (Unknown)



Article Info

Publish Date
31 Jul 2025

Abstract

The low proficiency of Mathematics Education students in constructing mathematical proofs, especially using the principle of mathematical induction, highlights the need for enhanced learning approaches. One promising method is the integration of Artificial Intelligence (AI) into the proof process within Real Analysis courses. This study aims to describe how students carry out mathematical induction proofs with the assistance of AI. Ten voluntary students enrolled in Real Analysis participated in an initial test involving divisibility problem. From this group, two students were selected through maximum variation sampling based on their answer diversity and communication skills. One student employed a modulo-based approach, while the other used the divisibility-definition concept. Overall, the results demonstrate that AI significantly supports students in understanding problems, planning proofs, implementing strategies, and revising their reasoning. AI played a critical role in concept generation, solution evaluation, and embedded reflection across each stage of Polya’s problem-solving framework, combined with the three aspects of AI-assisted proof: construction, evaluation, and revision

Copyrights © 2025






Journal Info

Abbrev

JOMP

Publisher

Subject

Education Mathematics Social Sciences Other

Description

The aim of the Journal of Mathematical Pedagogy (JOMP) is to provide an international forum for the sharing, dissemination and discussion of research, experience and perspectives across a wide range of education, teaching, development, instruction, educational projects and innovations, learning ...