10 de noviembre de 2026
Nodo IA-Mat, que funcionará en conjunto con el Instituto de Ingeniería Matemática y Computacional, trabajará en docencia, investigación y formación de investigadores.
La Facultad de Matemáticas de la Pontificia Universidad Católica de Chile constituyó Nodo IA-Mat, un comité asesor del Decanato que propondrá lineamientos y acciones para enfrentar los desafíos que plantea la inteligencia artificial (IA) en el ámbito específico de la matemática. La primera reunión se realizó el viernes 16 de octubre.
La instancia, que incluye al Instituto de Ingeniería Matemática y Computacional (IMC), actuará en sinergia con Nodo IA UC sin duplicar gobernanza ni infraestructura y aprovechando los programas de capacitación ya existentes.
El comité será coordinado inicialmente por Roberto Cominetti, junto a Marcelo Arenas, director de Inteligencia Artificial a cargo de Nodo IA en la Vicerrectoría de Investigación y Doctorado (VRID-UC), y Pablo Barceló, director del Centro Nacional de Inteligencia Artificial (CENIA).
Tres ejes de trabajo
Las labores se organizarán en tres subcomités. El de Docencia abordará la enseñanza, el aprendizaje, la evaluación y el desarrollo de habilidades docentes de profesores y ayudantes, tanto en pregrado como en postgrado. Además, propondrá estudios piloto para posibles iniciativas en esta área.
El subcomité de Investigación monitoreará cómo la comunidad matemática global adopta la IA y los temas éticos asociados. También planteará iniciativas para orientar su uso en matemática formal y verificación automática, con herramientas como Lean, Isabelle y Rocq, e incluirá la capacitación de investigadores. A esto se sumará la creación de un benchmark IA-Mat con problemas aportados por académicos y la evaluación del acceso a licencias de IA para investigación.
El tercer subcomité, de Formación de Investigadores, tendrá la tarea de proponer lineamientos para el trabajo de investigadores con ayudantes y orientaciones para el uso adecuado de IA en tesis de postgrado. También sugerirá ajustes a los criterios para aprobar una tesis y a la forma de reportar el uso de estas herramientas, además de analizar las perspectivas laborales de quienes investigan en matemáticas.
Los subcomités podrán incorporar a otros colegas y a estudiantes de pregrado y postgrado. A medida que avance el trabajo, el comité evaluará la creación de un observatorio que monitoree de manera permanente las herramientas de IA y su adopción por la comunidad matemática mundial, y de un mecanismo de comunicación para informar a la comunidad de la facultad y recibir retroalimentación.
Agenda para los primeros 100 días
Entre octubre de 2026 y marzo de 2027, los subcomités deberán definir un conjunto acotado de las preguntas más urgentes por responder y realizar un diagnóstico de la situación actual en la UC, con un inventario de iniciativas y capacidades existentes y una revisión del estado del arte.
También tendrán que proponer estudios piloto o iniciativas específicas, como visitas de expertos y talleres, con un presupuesto estimativo que considere software, hardware, viajes y horas hombre.
Marcelo Arenas, Pablo Barceló y Roberto Cominetti tendrán además una tarea adicional, que consiste en definir cómo se articulará el comité con Nodo IA UC y el CENIA, el acceso y uso de infraestructura y herramientas institucionales, la conexión con Academia IA, el mecanismo para compartir experiencias y resultados, y los criterios para evitar duplicidades.
El comité se reunirá periódicamente para revisar los avances de cada subcomité.