La revolución digital que hemos experimentado desde el último cuarto del siglo XX ha tenido cierta influencia, aún por analizar y ampliar, en la forma en que se hacen, se enseñan y se aprenden las matemáticas. Claramente, el potencial en la educación matemática de la mayoría de las tecnologías de la información aún no ha sido explotado por completo, mientras que la tasa de innovación en estas tecnologías está creciendo de manera exponencial. En particular, diversas voces autorizadas señalan que la tecnología que posiblemente más transformará la educación en los próximos años es la inteligencia artificial (IA). Curiosamente, hoy en día la IA se asocia sobre todo a tecnologías para automatizar tareas y abaratar costos, sirviendo de ese modo principalmente los intereses del mundo político-administrativo, industrial y comercial. En este panorama, el mundo de la educación y, más específicamente, la didáctica, aparece en el mejor de los casos como un mero usuario de las técnicas de IA desarrolladas en otros ámbitos, olvidando que la IA debería tener un papel mucho más relevante aquí, sirviendo al ser humano que está haciendo su trabajo de matemático o que está aprendiendo matemáticas. El simposio AI4ME en el Centro Internacional de Encuentros Matemáticos (CIEM) en Castro Urdiales es un espacio de investigación y reflexión para comprender mejor los retos interconectados del aprendizaje instrumental de las matemáticas y las matemáticas instrumentales, aprovechando los logros y oportunidades de la Inteligencia Artificial para la Educación Matemática. Este libro de resúmenes recoge los resúmenes de las ponencias presentadas en el simposio, así como las conclusiones de cada uno de los cuatro grupos temáticos.