IA para el Matemático en Ejercicio

Description

IA para el Matemático en Ejercicio es un taller de tres días del ICMS en [Edimburgo](https://www.createwith.com/cities/edinburgh), que se llevará a cabo del 14 al 16 de diciembre de 2026 en el Bayes Centre. Examinará cómo la IA está cambiando la investigación matemática, desde la demostración automatizada de teoremas y la formalización hasta la generación de conjeturas y el análisis de grandes conjuntos de datos matemáticos. ## La matemática se encuentra con la inteligencia artificial Los modelos de fundación recientes han producido sistemas poderosos para el razonamiento matemático, mientras que el aprendizaje automático está revelando estructuras previamente ocultas en los datos matemáticos, incluidos fenómenos como las murmullas de curvas elípticas. Este taller crea un entorno focalizado en el que investigadores académicos e industriales pueden evaluar estos avances, demostrar tecnologías emergentes y discutir dónde los métodos actuales aún son insuficientes. El programa explorará áreas que incluyen: - Demostración de teoremas y razonamiento matemático asistido por IA - Formalización automatizada utilizando asistentes de prueba como Lean - Generación de conjeturas apoyada por IA - Aprendizaje automático para grandes conjuntos de datos matemáticos - Herramientas para el descubrimiento científico, incluyendo AlphaEvolve de DeepMind y Axolver y Axplorer de Axiom Maths - Las oportunidades y limitaciones de los sistemas de IA actuales para las matemáticas ## Charlas y grupos de trabajo colaborativos Además de las charlas invitadas, los asistentes participarán en grupos de trabajo especializados que abordan desafíos técnicos y proyectos colaborativos. Estas sesiones están destinadas a ayudar a los participantes a desarrollar nuevos enfoques, identificar problemas comunes e iniciar investigaciones conjuntas, no simplemente observar demostraciones. La mezcla de presentaciones y trabajo en grupo enfocado hace de este un evento particularmente relevante para las personas que investigan activamente cómo la IA puede contribuir a la práctica matemática. El taller está dirigido a investigadores y profesionales que trabajan en **matemáticas, informática e industria**. Su énfasis en desafíos técnicos, asistentes de prueba y colaboración en investigación significa que es más adecuado para una audiencia especializada o de nivel de investigación más que para aquellos que buscan una introducción general a la IA. ## Organizadores científicos… [Regístrate para este evento](https://icms.ac.uk/activities/workshop/ai-workingmathematician)