Le mardi 2 juin 2026, le LMBA organise une journée consacrée à Lean et à la formalisation de preuves, ouverte à tous. 

Cette journée a pour objectif de favoriser les échanges autour des usages actuels de Lean, aussi bien en enseignement qu’en recherche, et de discuter des enjeux plus larges liés à son développement, notamment en lien avec l’intelligence artificielle.

À cette occasion, Benoît Cadorel (Institut Élie Cartan de Lorraine, Université de Lorraine) et Patrick Massot (Laboratoire de Mathématiques d’Orsay, Université Paris-Saclay) interviendront autour de plusieurs thématiques, parmi lesquelles :

• Lean et l’enseignement,

• Lean et les enjeux éthiques liés à l’usage de l’IA,

• Les avancées récentes en mathématiques fondamentales permises par Lean.

Les personnes intéressées sont invitées à signaler leur participation en contactant Laurine Weibel.