Séminaire - Stanislas Polu : Sur les capacités de raisonnement mathématique des modèles de langage

Épisode de Combinatoire - Timothy Gowers par Collège de France · 7 novembre 2022 · 53 min

Thimothy Gowers

Chaire Combinatoire

Collège de France

Année 2022-2023

Séminaire : Sur les capacités de raisonnement mathématique des modèles de langage

Intervenant(s)

Stanislas Polu, OpenAI

Aprè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.

Autres épisodes de « Combinatoire - Timothy Gowers »

À propos du podcast

Domaine un peu paradoxal, la combinatoire se présente comme à la fois simple et complexe, pauvre et riche, facile et difficile, pure et appliquée. Elle occupe aujourd'hui une place quasiment centrale en mathématiques, en particulier à cause de la multiplicité de ses interactions avec d'autres…

Combinatoire - Timothy Gowers

Épisodes similaires

Tous les épisodes de Combinatoire - Timothy Gowers · Plus de podcasts Science