Discover this podcast and so much more

Podcasts are free to enjoy without a subscription. We also offer ebooks, audiobooks, and so much more for just $11.99/month.

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

FromCombinatoire - Timothy Gowers


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

FromCombinatoire - Timothy Gowers

ratings:
Length:
53 minutes
Released:
Nov 7, 2022
Format:
Podcast episode

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.
Released:
Nov 7, 2022
Format:
Podcast episode

Titles in the series (36)

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 champs de recherche : l'algèbre et la théorie des nombres, les probabilités, la topologie, ou encore la géométrie algébrique. L'enseignement que dispensera Timothy Gowers au Collège de France abordera la combinatoire sous une perspective très large, mettant l'accent sur la résolution de problèmes. Outre les outils, qui feront l'objet du cours de la première année, seront traités de façon plus spécifique : l'analyse discrète de Fourier, les liens entre la combinatoire et l'informatique, la théorie des structures quasi-aléatoires, ainsi que la pratique et la philosophie des mathématiques.