TY - CPAPER TI - Interplay Between External and Internal Factors in the Use of Genai for the Construction of Proofs: Shorts in the Essential Algebraic Cycle AU - Contel, Francesco AU - Cusi, Annalisa T2 - Proceedings of the International Group for the Psychology of Mathematics Education, Volume 1 PB - Psychology of Mathematics Education (PME) PY - 2026 SP - 291 EP - 298 SN - 2790-3648 KW - human-GenAI interaction KW - algebraic proof KW - ChatGPT KW - instrumental genesis KW - internal and external factors UR - https://www.igpme.org/publications/RR_PME49/rr/contel-interplay-between-external-and-internal-factors-in-the-use-of-g/ ER -