An Intelligent Learning Environment for Mathematics: SmartMathAI with Generative AI and Problem-Based Learning. - Julio César Mendívil-Casanova; María Lucía Barrón-Estrada; Ramón Zataraín-Cabada; Aldo Uriarte Portillo (MICAI (Workshops, 2), 2025)