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:20230326T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20231029T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20231115T131500
DTEND;TZID=Europe/Paris:20231115T141500
DTSTAMP:20260404T111930
CREATED:20231111T194808Z
LAST-MODIFIED:20231111T194808Z
UID:16965-1700054100-1700057700@www.math.ens.psl.eu
SUMMARY:Les mathématiques de la stabilisation\, et l'IA pour les mathématiques
DESCRIPTION:Dans cet exposé nous aborderons deux sujets: la théorie de la stabilisation et l’IA pour les mathématiques. La stabilisation est une branche de la théorie du contrôle qui consiste à se demander: « si je peux agir sur un système\, que puis-je lui faire faire ? » Cette théorie a la particularité de mêler des aspects très théoriques et très divers ainsi que des aspects très appliqués.  \nNous parlerons ensuite d’IA pour les mathématiques et nous nous demanderons s’il est possible d’apprendre des mathématiques à une IA. En particulier\, est-ce qu’une IA peut apprendre à avoir une intuition mathématique encore meilleure que les humains ? Et est-ce qu’une IA peut être entrainée à prouver des théorèmes par elle-même ?
URL:https://www.math.ens.psl.eu/evenement/ia-pour-les-mathematiques/
LOCATION:amphi Galois NIR
CATEGORIES:ANNÉE 2023-2024
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20231122T131500
DTEND;TZID=Europe/Paris:20231122T141500
DTSTAMP:20260404T111930
CREATED:20231120T125943Z
LAST-MODIFIED:20231120T125943Z
UID:17018-1700658900-1700662500@www.math.ens.psl.eu
SUMMARY:Simplicité
DESCRIPTION:Les « assistants de preuve » sont des logiciels qui permettent d’entrer un énoncé de théorème et sa démonstration comme un programme\, la compilation dudit programme garantissant que la démonstration proposée prouve effectivement l’énoncé donné. Initiés dans les années 60\, ils font l’objet d’une grande activité scientifique depuis une trentaine d’années et ont permis de vérifier la correction d’énoncés tout à fait non triviaux.  \nIntéressé par ces développements\, je me suis appliqué à démontrer la simplicité du groupe alterné au sein du logiciel Lean et de sa librairie mathématique mathlib. \nCe travail aurait pu n’être qu’un exercice de quelques semaines ; je raconterai la longue excursion mathématique qu’il m’a conduit à entreprendre\, notablement accompagnés par Iwasawa et Jordan.
URL:https://www.math.ens.psl.eu/evenement/simplicite/
LOCATION:amphi Galois NIR
CATEGORIES:ANNÉE 2023-2024
END:VEVENT
END:VCALENDAR