Introduction
La Déclaration de Leiden sur l'Intelligence Artificielle (IA) et les Mathématiques, publiée récemment, aborde le rôle croissant de l'IA dans la recherche mathématique. Elle a été élaborée à la suite d'un atelier en 2025 au Lorentz Center à Leiden, en consultation avec un groupe international de chercheurs.
Contexte Technique
La Déclaration présente les différentes façons dont les systèmes d'IA sont utilisés en mathématiques, notamment la formalisation des preuves. Elle met en évidence les préoccupations concernant l'impact potentiel de l'IA sur les pratiques établies dans la recherche mathématique, telles que la fiabilité des résultats générés automatiquement, l'attribution des résultats produits à l'aide de modèles propriétaires et l'impact des nouveaux outils sur les pratiques de publication et de révision par les pairs.
Analyse et Implications
Les auteurs identifient plusieurs problèmes potentiels, notamment la responsabilité des résultats, la citation appropriée des travaux antérieurs et le rôle des organisations commerciales dans ce domaine. La Déclaration formule des recommandations à l'intention de différents groupes, notamment les chercheurs individuels, les organismes professionnels, les financeurs et les décideurs politiques.
Perspective
Il est essentiel de surveiller l'évolution de l'utilisation de l'IA en mathématiques, en particulier en ce qui concerne la régulation, les investissements publics dans les infrastructures et l'utilisation de conseils d'experts pour évaluer les allégations concernant les systèmes d'IA. La Déclaration de Leiden constitue une étape importante vers une meilleure compréhension des défis et des opportunités liés à l'intégration de l'IA dans la recherche mathématique.
