Déclaration de Leiden sur l'intelligence artificielle et les mathématiques

Carte Peu commune · n° 159877

La Déclaration de Leiden sur l'intelligence artificielle et les mathématiques, publiée en juin 2026, a été faite par un groupe international de mathématiciens, en réponse aux progrès rapides de l'intelligence artificielle (IA) dans la production de mathématiques de haut niveau, à l'issue d'un atelier qui s'est tenu en septembre 2025 au Centre Lorentz de l'université de Leiden et qui a été approuvée par l'Union mathématique internationale. Elle met en garde contre le fait que le recours aux preuves générées par l'IA telle qu'elle fonctionne en 2026 menace l'exactitude, la fiabilité et la vérifiabilité indépendante de la recherche mathématique, et que l'implication croissante des entreprises d'IA risque de fausser les priorités de recherche en faveur des problèmes se prêtant aux méthodes d'IA, tout en désavantageant les chercheurs qui n'y ont pas accès. La déclaration invite les mathématiciens, les organisations professionnelles et les décideurs politiques à divulguer l'utilisation de l...

Lire sur Wikipédia