Unveiling AI's Transformative Power in Mathematical Induction Proofs: Overcoming Challenges to Revolutionize Education
Keywords:
Artificial Intelligence, Mathematics Education, Mathematical Induction, proof.Abstract
The integration of artificial intelligence in education demonstrates considerable potential, particularly in facilitating students' comprehension of complex mathematical concepts. This study examines the role of AI in supporting students with mathematical induction, a fundamental technique in mathematical proofs. Although AI tools have become increasingly sophisticated, they nevertheless encounter limitations in generating precise logical structures, particularly for tasks demanding abstract reasoning, such as proofs by mathematical induction. This research investigates the interactions between undergraduate students and AI-generated inductive proofs, analyzing how participants engage with, reorder, and rectify AI-produced steps to achieve logical rigor. The study adopts a descriptive qualitative methodology, involving two students enrolled in a Real Analysis course. Data were gathered via observations, interviews, and assessments of task performance. The findings underscore the critical importance of students' analytical engagement with AI tools, illustrating that while AI provides substantive guidance, it cannot supplant the profound cognitive faculties essential for mathematical reasoning. The study concludes that students' active participation and adherence to mathematical rigor are indispensable when employing AI in educational settings, and it proposes enhancements to AI tools to augment their efficacy as pedagogical instruments.
References
Arnesen, K. K., & Skartsæterhagen, Ø. I. (2025). Mathematical induction in education research: a systematic review. Educational Studies in Mathematics, 119(1), 79–100. https://doi.org/10.1007/s10649-024-10373-x
Back, R. J., Mannila, L., & Wallin, S. (2010). “It takes me longer, but I understand better” - student feedback on structured derivations. International Journal of Mathematical Education in Science and Technology, 41(5), 575–593. https://doi.org/10.1080/00207391003605221
Bastani, H., Bastani, O., Sungu, A., Ge, H., Kabakcı, Ö., & Mariman, R. (2025). Generative AI without guardrails can harm learning: Evidence from high school mathematics. Proceedings of the National Academy of Sciences, 122(26), e2422633122. https://doi.org/10.1073/pnas.2422633122
Basturk, S. (2010). First‐year secondary school mathematics students’ conceptions of mathematical proofs and proving. Educational Studies, 36(3), 283–298. https://doi.org/10.1080/03055690903424964
Braun, V., & Clarke, V. (2006). Using thematic analysis in psychology. Qualitative Research in Psychology, 3(2), 77–101. https://doi.org/10.1191/1478088706qp063oa
Cohen, L., Manion, L., & Morrison, K. (2007). Research Methods in Education (6th ed.). Routledge.
Davies, A., Veličković, P., Buesing, L., Blackwell, S., Zheng, D., Tomašev, N., Tanburn, R., Battaglia, P., Blundell, C., Juhász, A., Lackenby, M., Williamson, G., Hassabis, D., & Kohli, P. (2021). Advancing mathematics by guiding human intuition with AI. Nature, 600(7887), 70–74. https://doi.org/10.1038/s41586-021-04086-x
Davis, R. (2022). The Role of AI in Education: A Cognitive Perspective. Journal of Educational Technology, 34(3), 45–58.
Fulton, R., Fulton, D., & Kaplan, S. (2022). The Framework of Artificial Intelligence (FAI): Driving Triggers, State of the Art Over Time and Industry Adoption Influencers. International Journal of Artificial Intelligence & Applications, 13(3), 85–108. https://doi.org/10.5121/ijaia.2022.13307
Gabriel, F., Kennedy, J., Marrone, R., & Leonard, S. (2025). Pragmatic AI in education and its role in mathematics learning and teaching. Npj Science of Learning, 10(1), 26. https://doi.org/10.1038/s41539-025-00315-4
Jianzheng, S., & Xuwei, Z. (2023). Integration of AI with Higher Education Innovation: Reforming Future Educational Directions. International Journal of Science and Research (IJSR), 12(10), 1727–1731. https://doi.org/10.21275/SR231023183401
Kaya, D., & Yavuz, S. (2025). Can Generative AI and ChatGPT Break Human Supremacy in Mathematics and Reshape Competence in Cognitive-Demanding Problem-Solving Tasks? Journal of Intelligence, 13(4), 43. https://doi.org/10.3390/jintelligence13040043
Lestari, S., Marom, S., & Rochmad, R. (2022). Intuition and Its Role in Students’ Mathematical Reasoning Ability. Hipotenusa : Journal of Mathematical Society, 4(1). https://doi.org/10.18326/hipotenusa.v4i1.7289
Patton, M. Q. (2002). Qualitative research & evaluation methods : integrating theory and practice (4th ed.). Sage Publications. https://books.google.com/books?hl=en&lr=&id=ovAkBQAAQBAJ&oi=fnd&pg=PP1&dq=qualitative+research+%26+evaluation+methods+Patton&ots=ZS-Y3uuCA-&sig=hE9o-_BCPNFnnmGml7zrozOkf2g
Schoenfeld, A. H. (2016). Mathematical thinking and problem solving. Routledge.
Sosa-Moguel, L. E., & Aparicio-Landa, E. (2021). SECONDARY SCHOOL MATHEMATICS TEACHERS’ PERCEPTIONS ABOUT INDUCTIVE REASONING AND THEIR INTERPRETATION IN TEACHING. Journal on Mathematics Education, 12(2), 239–256. https://doi.org/10.22342/jme.12.2.12863.239-256
Stylianides, A. J., & Stylianides, G. J. (2009). Proof constructions and evaluations. Educational Studies in Mathematics, 72(2), 237–253. https://doi.org/10.1007/s10649-009-9191-3
Tashtoush, M. A., Qasimi, A. B., Shirawia, N. H., & Hussein, L. A. (2025). The Efficacy of Utilizing Artificial Intelligence Techniques in Developing Critical Thinking in Mathematics among Secondary School Students and their Attitudes Toward it. Iraqi Journal for Computer Science and Mathematics, 6(1), 103942. https://doi.org/10.52866/2788-7421.1231
Thibodeau‐Nielsen, R. B., White, R. E., & Palermo, F. (2021). Advancements in observing behavior in preschool classrooms: A new audiovisual approach. Social Development, 30(4), 899–909. https://doi.org/10.1111/sode.12543
Van Vaerenbergh, S., & Pérez-Suay, A. (2022). A Classification of Artificial Intelligence Systems for Mathematics Education. In Mathematics education in the age of artificial intelligence: How artificial intelligence can serve mathematical human learning. (pp. 89–106). https://doi.org/10.1007/978-3-030-86909-0_5
Walkington, C. (2025). The implications of generative artificial intelligence for mathematics education. School Science and Mathematics, 56(1), 45–67. https://doi.org/10.1111/ssm.18356
Wang, K., Cui, W., & Yuan, X. (2025). Artificial Intelligence in Higher Education: The Impact of Need Satisfaction on Artificial Intelligence Literacy Mediated by Self-Regulated Learning Strategies. Behavioral Sciences, 15(2), 165. https://doi.org/10.3390/bs15020165
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, 56(7), 1531–1551. https://doi.org/10.1007/s11858-024-01629-0
Zhao, M., Poulsen, S., & Silva, C. (2025). Autograding mathematical induction proofs with natural language processing. Computers in Education, 89, 101–115. https://doi.org/10.1007/s40593-025-00498-2
Downloads
Published
Issue
Section
License
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
