Maths et IA - Modèles de Langage pour la Formalisation et Réseaux de Neurones pour l'Optimisation Combinatoire
Centre International de Rencontres Mathématiques via YouTube
Learn Backend Development Part-Time, Online
AI Engineer - Learn how to integrate AI into software applications
Overview
Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
Syllabus
Marc Lelarge: Maths and AI
Taught by
Centre International de Rencontres Mathématiques