IA et mathématiques : quand la solution pose problème

L'IA résout coup sur coup des conjectures mathématiques ouvertes depuis des décennies, bouleversant recherche et publications. La déclaration de Leyde alerte sur les valeurs mathématiques et les craintes de la communauté de chercheurs. Comment s’adapter à ce nouveau collaborateur scientifique ?