La semana pasada fue la Reunión de @umanoticias (conjunta con @sbm_oficial). Tuvimos una mesa sobre el impacto de la IA en la inv. matemática. youtube.com/live/sPoyR8_eYNw… Las kpas de @lilianaforzani, @InesPacharoni y Mariela Sued armaron una serie de 3 encuentros para seguirla 🧵

Encuentro 1 Jueves 8 de octubre, 9 h Una brevísima introducción a Lean Pedro Sánchez Terraf @DrPoset Universidad Nacional de Córdoba @famaf_unc

En este taller nos aproximaremos a entender cómo se escriben enunciados en Lean, para ser eventualmente capaces de auditar autoformalizaciones a cargo de agentes. También intentaremos mostrar cómo se usan estos agentes para dicha tarea.

Requisitos previos: instalar VSCode, la extensión de Lean y el agente OpenCode según se explica en los siguientes videos: youtube.com/playlist?list=PL… Se sugiere fuertemente jugar al Natural Number Game antes del encuentro: adam.math.hhu.de/#/g/leanpro… Zoom: us02web.zoom.us/j/8200706136…

Encuentro 2 Miércoles 14 de octubre, 13 h Del chat al agente: primeros pasos con IA agéntica para matemáticos Francisco Bersetche Universidad de Buenos Aires @dm_exactasuba

Los asistentes de IA ya no se limitan a responder preguntas: hoy pueden leer y escribir archivos, ejecutar código, buscar información y encadenar tareas de manera autónoma. En esta charla introductoria veremos qué es un agente, en qué se diferencia de un chat convencional y ...

cómo aprovecharlo en el trabajo matemático cotidiano, desde la escritura en LaTeX y la experimentación numérica hasta la revisión bibliográfica. Haremos un breve recorrido por el panorama actual de herramientas y nos centraremos en Claude y Claude Code.

La idea es que, al finalizar, cada uno sea capaz de armar y poner en marcha su primer sistema de agentes. No se requiere experiencia previa en programación ni en inteligencia artificial. Zoom: us02web.zoom.us/j/8200706136…

Encuentro 3 Jueves 22 de octubre, 12 h La IA como colega docente: asistentes, tutores y actividades para enseñar matemática Inés Pacharoni Universidad Nacional de Córdoba @famaf_unc

Además de investigar, casi todos enseñamos. En este encuentro voy a contar cómo vengo incorporando la IA a mi práctica docente, a partir de experiencias concretas en mis cursos.abrir la discusión sobre otras formas posibles de integrar estas herramientas en nuestras clases.

Veremos cómo armar asistentes personalizados que nos acompañen en el diseño de clases y actividades, asignándoles distintos roles: uno para ampliar y explorar ideas y otro para discutirlas y ponerlas a prueba con rigor.

También veremos cómo construir para los estudiantes un tutor que conozca el contenido de la materia y tenga mi impronta docente. Por último, mostraré algunas actividades que surgieron de este trabajo.

La idea es compartir cómo pensé e implementé estas experiencias, qué fui aprendiendo a partir de ellas y abrir la discusión sobre otras formas posibles de integrar estas herramientas en nuestras clases.