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 par la formalisation, la logique, ou plus largement par l’évolution des pratiques en mathématiques, y sont les bienvenues.
Si vous souhaitez y participer, merci de contacter Laurine Weibel.