Séminaire - Léon Bottou : Les succès et les nouveaux défis de l'intelligence artificielle en mathématiques