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/PME49_RR_243_Contel_F/ ER -