RÉGULATION
Déclaration de Leyde sur l'intelligence artificielle et les mathématiques
Des chercheurs lancent une déclaration formelle pour encadrer l'usage de l'IA dans la recherche mathématique.
Article composé de 2 sources
- Hacker News (filtré IA)leidendeclaration.ai · source primaire
- Hacker News (filtré IA)lms.ac.uk → mention
Image · Source originale
La Déclaration de Leyde, portée par la London Mathematical Society et des institutions partenaires, établit des principes éthiques et épistémologiques pour l'usage de l'IA en mathématiques. Elle distingue démonstration formelle vérifiable et génération assistée, alerte sur les risques d'une dépendance excessive aux systèmes automatisés pour la production de preuves, et vise à orienter chercheurs, éditeurs et institutions vers une adoption responsable de ces outils.
Chaleur 3
Pertinence 58
Nouveauté 55