Ces journées thématiques, organisées en l’honneur de Nicolas Balacheff, porteront sur deux domaines majeurs : l’intelligence artificielle en éducation et 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.es 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.
Ces journées auront lieu à Grenoble les 18 et 19 juin 2026.
L'inscription aux journées thématiques est gratuite pour toutes et tous, mais obligatoire.
Toutes les informations sont ici : https://preuve-ia-eiah.sciencesconf.org/
