Workshop IA pour les mathématiques, modèles, données et évaluation