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-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:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20261103T093000
DTEND;TZID=Europe/Paris:20261103T183000
DTSTAMP:20260926T175753
CREATED:20260911T092122Z
LAST-MODIFIED:20260911T092216Z
UID:22110-1793698200-1793730600@www.math.ens.psl.eu
SUMMARY:Automath! À qui appartiennent les mathématiques ? Maths + IA Controversy Workshop
DESCRIPTION:À qui appartiennent les mathématiques ? En deux ans à peine\, les mathématiques semblent être passées du statut de frontière de l’IA à celui de territoire de l’IA\, du statut d’idéal cognitif servant à tester les capacités de raisonnement des modèles d’IA\, à celui d’infrastructure de connaissance\, productive et mobilisable de façon en partie automatisée. C’est en tous cas le message envoyé par OpenAI (e.g. Contre-exemple à la conjecture d’Erdős)\, Anthropic (e.g. Contre-exemple à la conjecture jacobienne)\, Google DeepMind (e.g. AlphaProof) ou encore la DARPA avec le programme ExpMath. Si le moment se veut historique\, la suite n’est pas écrite pour autant. La communauté mathématique se prépare et s’interroge : À quel endroit faut-il résister ? Et à quel autre faudrait-il plutôt s’adapter ? À quelles conditions ? Comment souhaitons-nous voir se dessiner les trajectoires de l’IA et de la recherche mathématiques ? L’équipe Inria SIRA\, le LFPC et le collectif Automath invitent la communauté mathématique élargie à se saisir collectivement de ces enjeux lors d’une journée de workshop (ai4sciencecontroversy.com)\n \nComme en témoigne la Déclaration de Leiden [1.] ou le formule Terence Tao dans une publication récente [2.] : « How should the mathematical community respond to the advent of modern AI technologies\, and their real and/or claimed capabilities to perform mathematical tasks? (…) It is a metamathematical question. » 
URL:https://www.math.ens.psl.eu/evenement/automath-a-qui-appartiennent-les-mathematiques-maths-ia-controversy-workshop/
LOCATION:Institut Henri Poincaré amphithéâtre Hermite
CATEGORIES:Séminaire Automath
END:VEVENT
END:VCALENDAR