[Investigadores] AI y mat

[Jose Correa]

Hola a todos y todas,

No sé cómo cada uno está viendo el tema de IA y las herramientas matemáticas que han salido en los modelos más avanzados. Hace unos días salió en arxiv un paper de Tao et al. que es bien impresionante. 

https://arxiv.org/pdf/2511.02864

Una idea que quizá sea interesante es conseguir a algún científico de Google u otro que pueda hacer un mini taller sobre el uso de estas herramientas en matemáticas… 

En fin, ideas?

Saludos,
Jose