Écoute de 63 min
Séminaire - Stanislas Polu : Sur les capacités de raisonnement mathématique des modèles de langage
Séminaire - Stanislas Polu : Sur les capacités de raisonnement mathématique des modèles de langage
évaluations:
Longueur:
53 minutes
Sortie:
7 nov. 2022
Format:
Épisode de podcast
Description
Thimothy GowersChaire CombinatoireCollège de FranceAnnée 2022-2023Séminaire : Sur les capacités de raisonnement mathématique des modèles de langageIntervenant(s)Stanislas Polu, OpenAIAprès une brève explication du fonctionnement des modèles de langage, nous explorerons leur application au raisonnement mathématique, en particulier leur capacité à produire des raisonnements mathématiques informels ainsi que des preuves formelles. Nous discuterons les compromis impliqués dans la génération de preuves informelles et formelles, les limitations inhérentes aux grands modèles de langage dans ces deux modalités, ainsi que les directions futures potentielles pour dépasser ces limitations. Nous examinerons également l'utilisation de ces modèles de langage à l'intersection de ces deux modalités, en particulier, leur utilisation pour l'auto-formalisation.
Sortie:
7 nov. 2022
Format:
Épisode de podcast
Titres dans cette série (36)
Leçon inaugurale : Combinatoire de Combinatoire - Timothy Gowers