ENS-Data Science colloquium – Marc Lelarge (INRIA & DIENS) : Mathematics as an experimental science

Organisé par

ENS Paris

| 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…

Conférence de mathématiques à Paris, le jeudi 29 octobre 2026, de 12:00 à 13:00. Organisée par ENS Paris. Lieu : Amphi Jean Jaurès, 29 rue d'Ulm, 75005, PARIS. Entrée gratuite (inscription parfois demandée). En anglais.

+ Ajouter à Google Agenda

Vérifie les horaires sur la page officielle avant de te déplacer.