Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Découvrez une conférence captivante de 59 minutes où Marc Lelarge présente deux travaux récents à l'intersection des mathématiques et de l'intelligence artificielle. Explorez l'utilisation des grands modèles de langage pour la formalisation des mathématiques ainsi que l'application des architectures de réseaux de neurones graphiques pour résoudre des problèmes d'optimisation combinatoire. Enregistrée lors de la rencontre thématique "ALEA Days" le 18 mars 2025 au Centre International de Rencontres Mathématiques à Marseille, cette présentation fait partie de la Bibliothèque Audiovisuelle de Mathématiques du CIRM, accessible avec des fonctionnalités avancées comme des marqueurs de chapitres, des mots-clés, des résumés enrichis et une recherche multi-critères.
