Lundi 3 Novembre 2025 de 18h à 20h en Salle W du DMA à l'ENS

Jean-Michel Kantor (IMJ)

L'IA mathématicienne :
quelles limites ?

La période récente a vu des progrès importants
des techniques d'intelligence artificielle,
mais aussi l'annonce de promesses futuristes.

Va-t-on vers la mécanisation des mathématiques ?