Seminario de investigación: MATH AGAINST THE MACHINE: OPORTUNIDADES Y DESAFÍOS DE LA INTELIGENCIA ARTIFICIAL EN MATEMÁTICAS

El viernes 22 de noviembre de 2024 a las 12:30 h tendrá lugar el seminario de investigación titulado “Math against the machine: Oportunidades y desafíos de la inteligencia artificial en matemáticas”, que será impartido por Ángel González Prieto, de la Universidad Complutense de Madrid. El seminario será presencial, en la Sala de Conferencias de la E.T.S. de Arquitectura. Os animamos a todos a asistir.

ABSTRACT: En los últimos años, las ciencias, y singularmente las matemáticas, han experimentado una espectacular revolución debido a la irrupción de la Inteligencia Artificial (IA). Gracias a estos sistemas, ahora es posible abordar viejos problemas desde una perspectiva antes impensable. Sin embargo, al mismo tiempo, la aparición de estas herramientas plantea nuevas preguntas: ¿podemos confiar en la deducción de un ordenador? ¿cuándo una demostración asistida por ordenador puede considerarse “válida”? ¿es posible armonizar los métodos heurísticos de la IA con las demostraciones rigurosas de las matemáticas? En esta charla, abordaremos las capacidades, y limitaciones, de las herramientas que hoy nos brinda la IA en relación a las matemáticas, así como el papel de los asistentes de demostración en la formalización de las matemáticas, y su influencia en estas y otras cuestiones.