Journées thématiques : Preuve et Démonstration en Mathématiques, IA et Environnements Informatiques pour l’Apprentissage Humain

Journées thématiques Preuve et Démonstration en Mathématiques, IA et Environnements Informatiques pour l'Apprentissage Humain

18-19 juin 2026 Grenoble (France)

Présentation / Introduction

Ces journées thématiques, organisées en l’honneur de Nicolas Balacheff, porteront sur deux domaines majeurs :

l’intelligence artificielle en éducation
la preuve en mathématiques.

À travers une série de conférences, elles proposeront un état des avancées récentes et l’ouverture de nouvelles perspectives de recherche.

Pionnier dès 1994 dans l’exploration des relations entre didactique et intelligence artificielle, Nicolas Balacheff a posé des questions qui demeurent centrales aujourd’hui : modélisation des connaissances des élèves, prise en compte de leurs conceptions, production de rétroactions épistémiques. Alors que les approches fondées sur les données se sont intensifiées et que les architectures hybrides (IA symbolique et numérique) se développent, l’essor de l’IA générative reconfigure profondément ces problématiques et invite à repenser les cadres conceptuels ainsi que les méthodes d’ingénierie des environnements d’apprentissage.

Parallèlement, la recherche en didactique de la preuve s’est considérablement enrichie, explorant les pratiques de preuve du primaire au supérieur, les difficultés d’enseignement et d’apprentissage, ainsi que les évolutions du rapport épistémologique à la preuve. Les transformations récentes — dialogue avec les sciences du langage, liens avec la logique et l’informatique, émergence des assistants de preuve — interrogent de nouveau ce que signifie « prouver » et les continuités entre argumentation, justification et démonstration. Ces journées offriront l’occasion de dresser un bilan des travaux de recherche sur ces deux domaines et de discuter des perspectives ouvertes à l’interface entre mathématiques, informatique et didactique, dans un contexte de profondes transformations éducatives au XXIᵉ siècle.

-- English version --

These thematic days, organised in Nicolas Balacheff's honour, will have two main topics :

artificial intelligence in education
mathematical proof

This event will be an opportunity to report on recent advances made in those fields of knowledge and to open new research perspectives.

As a pioneer who, since 1994, has investigating the links between mathematical didactics and artificial intelligence, Nicolas Balacheff raised questions that remain at the heart of these research fileds : knowledge modelling of pupils, consideration of their conceptions and the production of epistemic feedbacks. While data-based approaches have expanded and hybrid architectures (symbolic and numeric AI) are developping, the rise of generative AI is deeply reshaping these issues. This encourages us to rethink the theoretical concepts and engineering methods of learning environments.

At the same time, research in the didactics of proof has massively grown, investigating practical experiences of proof from elementary school to university, learning and teaching difficulties, and the evolution of the connections between epistemology and proof. Recent developments - such as dialogue with language sciences, links betwenn logic and computer sciences, and the emergence of proof assistants - once again question what it means "to prove" and the continuities betwenn argumentation, justification and demonstration.These days will allow us to take stock of these two fields of research and to discuss open perspectives at the intersection of mathematics, computer science and didactics, considering the profound educational changes of the 21^st century.

Vie privée | Accessibilité