La Déclaration de Leyde : comment plus de 150 mathématiciens tracent une ligne rouge face à l’IA

Les cinq menaces qui redéfinissent les mathématiques

La déclaration identifie cinq dangers distincts mais interconnectés, chacun frappant une valeur fondatrice de la pratique mathématique.

1. Des preuves non fiables et invérifiables
Les mathématiques reposent sur des preuves qui peuvent être vérifiées de manière indépendante et profondément comprises. Les systèmes d’IA, en revanche, produisent des arguments à l’apparence plausible mais qui peuvent contenir des erreurs quasi invisibles – de fausses preuves que les humains peinent à détecter . Ce problème ne se limite pas à la génération de texte informel ; il apparaît aussi dans les systèmes de preuve formelle lorsque la logique sous-jacente est obscurcie .

2. L’effondrement de l’attribution et la violation rampante du droit d’auteur
Les modèles d’IA sont entraînés sur des travaux publiés par des humains sans leur consentement et omettent souvent de citer leurs sources. Il en résulte une rupture systémique du crédit, rendant impossible de tracer la filiation intellectuelle ou de récompenser les penseurs originaux. La déclaration insiste pour que les auteurs recherchent proactivement les antécédents et, lorsque l’attribution complète est impossible, qu’ils indiquent explicitement cette limite .

3. Un système à deux vitesses : dépendance et inégalité
Alors que la recherche de pointe devient tributaire de modèles propriétaires coûteux et de puissances de calcul démesurées, les mathématiques risquent un avenir où seuls les laboratoires les mieux financés pourront rivaliser. Cela crée une inégalité structurelle qui sape le caractère traditionnellement ouvert et méritocratique du domaine .

4. Un battage médiatique qui trompe les décideurs politiques
Les entreprises technologiques, poussées par de fortes incitations commerciales, exagèrent les capacités mathématiques de leurs outils . Elles annoncent leurs résultats selon le calendrier du marché, par voie de communiqués, et non via une science évaluée par les pairs, utilisant la performance sur des benchmarks mathématiques comme un argument marketing pour l’intelligence générale – une affirmation que la déclaration rejette catégoriquement . Les auteurs exhortent les gouvernements à solliciter l’évaluation d’experts, et non les relations publiques, pour élaborer leur politique scientifique .

5. La perte d’autonomie de la recherche
Lorsque les intérêts commerciaux et la faisabilité technique dictent ce qui est étudié, les mathématiques risquent de perdre le contrôle de leur propre agenda. Les priorités de recherche se déplacent vers des rendements commerciaux à court terme plutôt que vers une enquête profonde et guidée par la curiosité, menaçant la santé à long terme de la discipline .

Ce qu’exige la Déclaration

Plutôt que de se contenter de diagnostiquer les problèmes, la Déclaration de Leyde prescrit des normes spécifiques et applicables pour quatre groupes clés .

Les chercheurs individuels doivent :

• Divulguer tous les outils d’IA, invites et méthodes utilisés dans leurs travaux .
• Traiter l’IA uniquement comme un outil – jamais comme un co-auteur. Les humains portent l’entière responsabilité de l’exactitude, de l’attribution et de l’utilisation éthique .
• Se tenir informés des technologies émergentes et participer au débat public sur leurs conséquences .

Les institutions, revues et bailleurs de fonds doivent :

• Élaborer des politiques contraignantes sur la paternité de l’IA, la transparence, l’évaluation par les pairs et la propriété intellectuelle .
• Mettre en place des structures de soutien juridique et éthique pour aider les chercheurs à négocier avec les puissantes entreprises technologiques .
• Intégrer les valeurs fondamentales de la déclaration dans les critères d’évaluation et les décisions de financement, plutôt que de récompenser la simple rapidité de calcul .

Les gouvernements doivent :

• Cesser de prendre les déclarations des entreprises au pied de la lettre et consulter plutôt des groupes d’experts indépendants .
• Réguler l’industrie de l’IA pour empêcher un contrôle monopolistique de l’infrastructure de recherche .
• Investir dans des alternatives publiques et ouvertes aux outils d’IA commerciaux afin que l’accès ne dépende pas de la richesse institutionnelle .

L’industrie doit :

• Abandonner la pratique consistant à utiliser les publications de recherche comme données d’entraînement sans consentement et permettre aux auteurs de véritables mécanismes de refus .
• Satisfaire aux mêmes normes de transparence et d’attribution que celles que le monde académique exige de lui-même chaque fois que des laboratoires industriels publient aux côtés de partenaires académiques .

Le combat plus large : la preuve, le pouvoir et la confiance du public

La Déclaration de Leyde ne concerne pas seulement les mathématiques. Ses auteurs décrivent la lutte comme un baromètre pour la politique scientifique universelle. Ils soutiennent que les mêmes systèmes d’IA produisant des preuves non fiables peuvent aussi être militarisés pour la guerre et la surveillance de masse, et exhortent les mathématiciens à évaluer éthiquement leur travail, voire à se retirer de projets nuisibles .

L’avertissement le plus profond est épistémologique : lorsque le calendrier commercial remplace l’évaluation par les pairs, et que le battage médiatique des entreprises couvre la prudence des experts, la compréhension publique de ce qui constitue une vérité scientifique est faussée . Les mathématiques – un domaine longtemps fier de ses normes claires et intemporelles – sont désormais en première ligne de cette bataille plus large.

Presque toutes les recommandations de la déclaration tournent autour d’un seul principe : la transparence. Sans savoir quand et comment l’IA a été utilisée, la communauté scientifique ne peut ni vérifier les résultats, ni attribuer le crédit, ni défendre ses propres normes. Avec plus de 130 signataires à son lancement et le soutien institutionnel d’organismes comme l’Union Mathématique Internationale, la Déclaration de Leyde est déjà devenue plus qu’une déclaration : c’est une ébauche des normes que les mathématiciens jugent indispensables à l’ère de l’IA .