JOURNÉES IA ET MATHÉMATIQUES : IA, PREUVE ET FORMALISATION - Colloque sur la pratique mathématique à l’ère des outils génératifs

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

• Utilisation des LLM pour le raisonnement mathématique, notamment via la construction (semi-)automatique de preuves ;

• Impact sur l'environnement de travail, à travers des outils d’exploration d’idées, d'esquisse d'arguments, de rédaction ou de recherche bibliographique....

• Formalisation via des assistants de preuve ;

• Analyse des limites structurelles de ces outils (erreurs, raisonnements fragiles, absence de garanties) et les conditions d'un usage éclairé

Le programme détaillé et le lien d’inscription seront mis en ligne début avril 2026.



CONSTRUCTION D’UNE STRATEGIE SCIENTIFIQUE DE SITE AUTOUR DE L’INTELLIGENCE ARTIFICIELLE A 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 : usages, concepts et enjeux 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.

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)

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.