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

Authors

  • Isnawati Lujeng Lestari Universitas Nahdlatul Ulama Pasuruan
  • Mayang Sari Universitas Nahdlatul Ulama Pasuruan
  • Gusti Uripno Universitas PGRI Ronggolawe
  • Siti Suprihatiningsih Universitas Katolik Santo Agustinus Hippo
  • Firda Hariyanti Universitas Nahdlatul Ulama Pasuruan
  • Ebenezer Bonyah Akenten Appiah Menka University of Skills Training and Entrepreneurial Development, Kumasi, Ghana

DOI:

https://doi.org/10.26740/jomp.v6n2.p94-102

Keywords:

AI Assisted, Proof, Principle of Mathematical Induction

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

References

Ahmadi, Y., Kusumah, Y. S., & Jupri, A. (2019). Analysis of high school students’ errors in mathematical proving: The case of mathematical induction. Journal of Physics: Conference Series, 1211(1). https://doi.org/10.1088/1742-6596/1211/1/012068

Bartle, R., & Sherbert, D. (2011). Introduction to real analysis (4th ed.). John Wiley and Sons Inc. https://lib.ut.ac.ir/site/catalogue/1396711

Belay, A. M., Machaba, F., & Makgakga, T. P. (2024). Introducing a Supportive Framework to Address Students’ Misconceptions and Difficulties in the Learning Mathematical Proof Techniques: A Case of Debark University in Ethiopia. Research in Social Sciences and Technology, 9(1), 63–84. https://doi.org/10.46303/ressat.2024.4

Cipta, E. S., Maya, R., Suryadi, D., & Prabawanto, S. (2024). Analysis of Student Errors in Solving Mathematical Induction Problems in Online Learning. KnE Social Sciences, 2024, 471–478. https://doi.org/10.18502/kss.v9i13.15949

Cohen, L., Manion, L., & Morrison, K. (2007). Research Methods in Education (6th ed.). Routledge.

Egara, F. O., & Mosimege, M. (2024). Exploring the Integration of Artificial Intelligence-Based ChatGPT into Mathematics Instruction: Perceptions, Challenges, and Implications for Educators. Education Sciences, 14(7), 742. https://doi.org/10.3390/educsci14070742

Gonzales, M. A. (2020). Undergraduate Students’ Difficulties and Convictions with Mathematical Induction [Texas A&M University-Corpus Christi]. https://search.proquest.com/openview/8a7d3920929e045d067df87570e1e586/1?pq-origsite=gscholar&cbl=18750&diss=y

Hartono, S. (2025). Evolving trends in mathematical proof research in Indonesian mathematics education: A systematic review from design to data analysis. Multidisciplinary Reviews, 8(12), 2025372-2025372.

Hartono, S., Siswono, T. Y. E., Ekawati, R., & Bonyah, E. (2025). Using the Moore's theory to explain preservice teachers’difficulties in proving of the triangle sum theorem. Jurnal Ilmiah Ilmu Terapan Universitas Jambi, 9(1), 104-118.

Hendriyanto, A., Suryadi, D., Juandi, D., Dahlan, J. A., Hidayat, R., Wardat, Y., Sahara, S., & Muhaimin, L. H. (2024). The didactic phenomenon: Deciphering students’ learning obstacles in set theory. Journal on Mathematics Education, 15(2), 517–544. https://doi.org/10.22342/jme.v15i2.pp517-544

Mairing, J. P., Rizaldi, M., Pandiangan, P., Lada, E. Y., & Monita, D. M. (2024). Development of Problem, YouTube and ChatGPT Learning Model to Improve Students’ Proving Ability in Real Analysis. Kreano, Jurnal Matematika Kreatif-Inovatif, 15(1), 169–184. https://journal.unnes.ac.id/journals/kreano/article/view/1023

Norton, A., Arnold, R., Kokushkin, V., & Tiraphatna, M. (2023). Addressing the Cognitive Gap in Mathematical Induction. International Journal of Research in Undergraduate Mathematics Education, 9(2), 295–321. https://doi.org/10.1007/s40753-022-00163-2

Park, H., & Manley, E. D. (2024). Using ChatGPT as a proof assistant in a mathematics pathways course. The Mathematical Education, 63(2), 139–163.

Polya, G. (2004). How to Solve It : A New Aspect of Mathematical Method. Princenton University Press. http://www.jstor.org/stable/3609122?origin=crossref

Relaford-Doyle, J., & Núñez, R. (2021). Characterizing students’ conceptual difficulties with mathematical induction using visual proofs. International Journal of Research in Undergraduate Mathematics Education, 7(1), 1–20. https://doi.org/10.1007/s40753-020-00119-4

Rips, L. J., & Asmuth, J. (2007). Mathematical Induction and Induction in Mathematics. Inductive Reasoning: Experimental, Developmental, and Computational Approaches, 248–268. https://doi.org/10.1017/cbo9780511619304.011

Rosen, K. H. (2011). Elementary Number Theory And Its Applications (6th ed.). Pearson.

Sin´, S., Breen, S., & O’shea, A. (2024). Threshold Concepts as an Anchor in Undergraduate Mathematics Teaching. Irish Math. Soc. Bulletin Number, 94, 61–67. https://doi.org/10.33232/BIMS.0094.61.67

Siswono, T. Y. E., Uripno, G., Ratnaningsih, N., Khabibah, S., Hartono, S., & Fiangga, S. (2024). Is A = ½ b h theorem? Scaffolding Students in Understanding a Proof. AIP Conference Proceedings, 3046(1). https://doi.org/10.1063/5.0195140/3265960

Uripno, G., Suprihatiningsih, S., & Rangkuti, R. K. (2024). Artificial Intelligence Integration: Error Self-Reflection in Solving Integral Problems. AlphaMath : Journal of Mathematics Education, 10(2), [177-189]. https://doi.org/10.30595/ALPHAMATH.V10I2.23133

Wardat, Y., Tashtoush, M. A., AlAli, R., & Saleh, S. (2024). Artificial Intelligence in Education: Mathematics Teachers’ Perspectives, Practices and Challenges. Iraqi Journal for Computer Science and Mathematics, 5(1), 60–77. https://doi.org/10.52866/ijcsm.2024.05.01.004

Yoon, H., Hwang, J., Lee, K., Roh, K. H., & Kwon, O. N. (2024). Students’ use of generative artificial intelligence for proving mathematical statements. ZDM - Mathematics Education, 1–21. https://doi.org/10.1007/s11858-024-01629-0

Zhang, X. (2024). An Innovative Model of Higher Mathematics Curriculum Education Incorporating Artificial Intelligence Technology. Applied Mathematics and Nonlinear Sciences, 9(1), 1–16. https://doi.org/10.2478/amns.2023.2.01524

Zwaneveld, B., Sterk, H., & Perrenet, J. (2024). Mathematical Proving as a Threshold. In Threshold Concepts in the Moment (pp. 273–288). Brill. https://doi.org/10.1163/9789004680661_018

Downloads

Published

2025-07-31

Issue

Vol. 6 No. 2: July 2025

Section

Articles

License

Copyright (c) 2025 Siti Suprihatiningsih, Isnawati Lujeng Lestari, Mayang Sari, Gusti Uripno, Firda Hariyanti

Creative Commons License

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Abstract views: 130 , PDF Downloads: 141