Déclaration de Leyde sur l’intelligence artificielle et les mathématiques
La Déclaration de Leyde sur l’intelligence artificielle et les mathématiques, une déclaration sur l’utilisation de l’IA en mathématiques, a été publiée récemment. Ce document est le travail d’un groupe international de 16 chercheurs en mathématiques et autres domaines connexes (informatique, histoire, philosophie et anthropologie) et a reçu l’aval de l’Union mathématique internationale. Il identifie les menaces potentielles que représente l’IA pour la recherche mathématique et formule des recommandations concrètes à l’intention des mathématiciens, des organisations mathématiques et des décideurs. Pour plus d’information et pour consulter la déclaration, rendez-vous sur https://leidendeclaration.ai/.