Vous êtes ici : FR > Le site universitaire > Panorama de la recherche > IT IA

V2-EVENT V2-VIGNETTE

JOURNÉES IA ET MATHÉMATIQUES : IA, preuve et formalisation

Du 16 juin 2026 au 17 juin 2026

ENS de Lyon
Site Monod
46 allée d’Italie, 69007 Lyon
https://www.ens-lyon.fr/campus/en-pratique/se-rendre-lens-de-lyon

Colloque sur la pratique mathématique à l’ère des outils génératifs. Deux jours pour s’informer et échanger sur l’usage actuel de l’intelligence artificielle — en particulier des modèles de langage (LLM) — dans la pratique mathématique.

La pratique mathématique est transformée par les outils d’intelligence artificielle. Ces journées ont pour objectif d’ouvrir un espace de réflexion sur l’évolution de cette discipline à l’ère des outils génératifs. Au programme, des exposés et une demi-journée de mise-en-pratique pour explorer les opportunités offertes par ces outils sur différents aspects de la recherche en mathématique (construction de preuves, rédaction, bibliographie…), ainsi que leurs limites, pour en faire un usage éclairé.

AU PROGRAMME

JOUR 1 – 16 juin JOUR 2 – 17 juin
Themes Themes
  • Use of LLMs for mathematical reasoning, including the (semi-) automatic construction of proofs.
  • Impact on the mathematical working environment: idea exploration, argument sketches, writing support, and bibliographic research.
  • Critical assessment of structural limits: hallucinations, fragile reasoning, and lack of formal guarantees.
  • Formalization with proof assistants and its relation to trustworthy mathematical workflows.

 

Comité scientifique :

  • Frédéric Déglise (UMPA)
  • Stéphane Gaussent (ICJ)
  • Philippe Malbos (ICJ)
  • Véronique Maume-Deschamps (ICJ)
  • Sophie Morel (UMPA)
  • Filippo Nuccio (ICJ-LIP)

Construction d’une stratégie scientifique de site autour de l’intelligence artificielle à Lyon Saint-Étienne

Dans le cadre de la stratégie scientifique déployée sur le site académique Lyon Saint-Étienne, l’Institut Thématique Intelligence Artificielle : enjeux, concepts et usages et a été lancé en cette fin d’année 2025. Il rassemble des activités en IA et sur l’IA issues des sciences exactes, expérimentales, sociales et humaines au travers de l’ensemble des établissements membres et associés de la ComUE impliqués dans ces thématiques. Son objectif est de faire connaître, approfondir et renforcer les activités du site Lyon Saint-Étienne sur l’IA. Sont ciblés tant le cœur fondamental de l’IA que ses nombreuses applications, ses enjeux et ses usages.

L’Institut Thématique en IA promouvra les dynamiques collaboratives entre acteurs académiques et avec le monde socio-économique. Son ambition pour le territoire : soutenir la structuration et le développement de la recherche, de l’innovation et l’offre de formation en IA sur Lyon Saint-Étienne.

Il s’appuie notamment sur le consortium AILyS, qui fédère aujourd’hui onze établissements de l’enseignement supérieur, de la recherche et de la santé du site Lyon Saint-Étienne autour de l’IA : Centrale Lyon, l’ENS de Lyon, l’ENTPE, les Hospices Civils de Lyon, INSA Lyon, Mines Saint-Étienne, VetAgro Sup, les universités Claude Bernard Lyon 1, Lumière Lyon 2, Jean Moulin Lyon 3 et Jean Monnet Saint-Étienne.

 

Inscriptions aux journées IA et mathématiques :

Je souhaite m'inscrire (*)


J’accepte les conditions de collectes de mes données personnelles* (nom, prénom, mail) dans le but de m'inscrire à cet événement. (*)


écoutez le mot à saisir

*Conformément aux articles 38 et suivants de la loi n°78-17 du 6 janvier 1978 relative à l’informatique, aux fichiers et aux libertés, vous disposez d’un droit d’accès, de rectification et d’opposition des données vous concernant.
Les données ne seront pas transférées en France ou hors UE.
En remplissant le formulaire, vous consentez à la collecte, au traitement et à la conservation de vos données personnelles.
Pour exercer ces droits, il vous suffit d’écrire à l’Université de Lyon 92 rue Pasteur CS 30122 69361 Lyon cedex 07 ou d’envoyer un courriel à : dpo@universite-lyon.fr.