Proof Schemes Used and Owned by Artificial Intelligence Chatbots
Öz
People possess proof schemes. These schemes reveal the cognitive characteristics of the proof process, that is, the persuasion process. Investigating the cognitive features of artificial intelligence (AI) that imitate human intelligence is an issue that needs to be addressed urgently. This research aims to identify the proof schemes used and owned by AI chatbots (AICs) (ChatGPT, Claude, Copilot, Gemini, Grok, Le Chat, and Perplexity). The first aim is to identify the proof schemes that AICs use to convince elementary, middle school, high school, and university students of the truth of some mathematical formulas. The second aim is to identify how AICs convince themselves of the truth of these formulas, that is, the proof schemes they own. For this, two similar mathematical formulas related to consecutive numbers were used. The reason for using two similar formulas is to investigate the internal consistency of AICs. The data was obtained from the results of prompts entered into AICs. This data was analyzed using descriptive analysis. Harel and Sowder’s (1998) proof schemes are used for the codes. According to the results of the research, as a teaching tool, chatbots are able to use proof schemes appropriate to the cognitive levels of students at all educational levels. As an AI, chatbots have analytical proof schemes. But interestingly, some chatbots also have perceptual proof schemes. Also, chatbots have internal consistency. These results are a cornerstone for “AI in mathematics education” and “mathematical development of AI” and are hoped to guide future studies.
Anahtar Kelimeler
Kaynakça
- Adams, S. S., Arel, I., Bach, J., Coop, R., Furlan, R., Goertzel, B., Hall, J. S., Samsonovich, A., Scheutz, M., Schlesinger, M., Shapiro, S. C., & Sowa, J. F. (2012). Mapping the landscape of human‐level artificial general intelligence. AI Magazine, 33(1), 25-41. https://doi.org/10.1609/aimag.v33i1.2322
- Amir, F., & Amir, M. F. (2021). Action proof: Analyzing elementary school students informal proving stages through counter-examples. International Journal of Elementary Education, 5(3), 401-408. https://doi.org/10.23887/ijee.v5i3.35089
- Anthropic. (2025, July 4). Claude (Claude Sonnet 4) [AI assistant]. https://claude.ai
- Awang, L. A., Yusop, F. D., & Danaee, M. (2025). Current practices and future direction of artificial intelligence in mathematics education: A systematic review. International Electronic Journal of Mathematics Education, 20(2), em0823. https://doi.org/10.29333/iejme/16006
- Baytak, A. (2023). The acceptance and diffusion of generative artificial intelligence in education: A literature review. Current Perspectives in Educational Research, 6(1), 7-18. https://doi.org/10.46303/cuper.2023.2
- Baytak, A. (2024). The content analysis of the lesson plans created by ChatGPT and Google Gemini. Research in Social Sciences and Technology, 9(1), 329-350. https://doi.org/10.46303/ressat.2024.19
- Calonge, D. S., Smail, L., & Kamalov, F. (2023). Enough of the chit-chat: A comparative analysis of four AI chatbots for calculus and statistics. Journal of Applied Learning and Teaching, 6(2), 346-357. https://doi.org/10.37074/jalt.2023.6.2.22
- Castelvecchi, D. (2023). How will AI change mathematics? Rise of chatbots highlights discussion. Nature, 615(7950), 15-16. https://doi.org/10.1038/d41586-023-00487-2
Ayrıntılar
Birincil Dil
İngilizce
Konular
Matematik Eğitimi
Bölüm
Araştırma Makalesi
Yazarlar
Fikret Cihan
*
0000-0001-8783-4136
Türkiye
Yayımlanma Tarihi
28 Ağustos 2026
Gönderilme Tarihi
20 Şubat 2026
Kabul Tarihi
11 Haziran 2026
Yayımlandığı Sayı
Yıl 2026 Cilt: 10 Sayı: 24