Publicaciones sobre IA

15-08-2025HaLLMos (IA para aprender a escribir demostraciones matemáticas)
12-06-2025Readings shared June 11, 2025
05-06-2025IA y matemáticas (presente y futuro)
03-06-2025Debate sobre IA y enseñanza de las matemáticas
10-08-2024Lecturas compartidas el 9 de agosto de 2024
03-06-2024Lecturas compartidas el 2 de junio de 2024
01-06-2024Lecturas compartidas el 31 de mayo de 2024