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:20260329T010000
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:20261025T010000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=Europe/Paris:20261029T120000
DTEND;TZID=Europe/Paris:20261029T130000
DTSTAMP:20261027T095011
CREATED:20261015T162210Z
LAST-MODIFIED:20261015T162527Z
UID:22305-1793275200-1793278800@www.math.ens.psl.eu
SUMMARY:ENS-Data Science colloquium - Marc Lelarge (INRIA & DIENS) : Mathematics as an experimental science
DESCRIPTION:AI is transforming the field of mathematics. In this talk\, I will present some on-going experiments that we are conducting with Large Language Models\, proof assistants and an unusual large number of colleagues. We build new tools to find and check proofs and experiment them in the areas of graph theory and high dimensional probability. These experiments would not have been possible a few months ago and could possibly be outdated on the day of the talk… I still hope to discuss relevant ways to enjoy and contribute to mathematics. \n\n\n\n  \n\n\n\nThese seminars are being made possible through the support of the CFM-ENS Chair « Modèles et Sciences des Données ». \n\n\n\nThe organizers: Giulio Biroli\, Alex Cayco Gajic\, Bruno Loureiro\, Stéphane Mallat\, Gabriel Peyré.
URL:https://www.math.ens.psl.eu/evenement/ens-data-science-colloquium-mathematics-as-an-experimental-science/
LOCATION:Amphi Jean Jaurès\, 29 rue d'Ulm\, PARIS\, 75005\, France
CATEGORIES:ENS-Data Science colloquium
END:VEVENT
END:VCALENDAR