BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Département de mathématiques et applications - ECPv6.2.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Département de mathématiques et applications
X-ORIGINAL-URL:https://www.math.ens.psl.eu
X-WR-CALDESC:évènements pour Département de mathématiques et applications
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Europe/Paris
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:20250330T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20251026T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20251210T110000
DTEND;TZID=Europe/Paris:20251210T120000
DTSTAMP:20260408T202941
CREATED:20251030T124601Z
LAST-MODIFIED:20251204T090833Z
UID:20444-1765364400-1765368000@www.math.ens.psl.eu
SUMMARY:« Amaury Hayat\, raconte-moi comment l'IA pourrait changer la pratique des mathématiques ! »
DESCRIPTION:Est-ce qu’un modèle d’IA peut démontrer un énoncé mathématique complexe ? Formaliser des preuves ? Une IA peut-elle développer une intuition mathématique plus puissante qu’un humain sur un problème spécifique et aider à la découverte de nouveaux théorèmes ? Les récentes avancées issues de la combinaison de différentes techniques de machine learning allant des modèles de langage aux méthodes d’apprentissage par renforcement posent de nombreuses questions sur l’avenir de la pratique des mathématiques. Pour explorer ces enjeux\, nous présenterons plusieurs exemples de travaux récents en IA pour les mathématiques et nous en discuterons les perspectives.
URL:https://www.math.ens.psl.eu/evenement/amaury-hayat-que-vas-tu-nous-raconter/
LOCATION:Salle W toits du DMA
CATEGORIES:Algèbre et géométrie,Séminaire Raconte-moi
END:VEVENT
END:VCALENDAR