Un mouvement inédit dans la communauté scientifique

La question qui divise aujourd’hui les mathématiciens n’est plus de savoir si l’intelligence artificielle (IA) peut contribuer à leur discipline, mais comment en encadrer l’usage. Alors que les algorithmes démontrent des capacités croissantes en résolution de problèmes complexes, plus de 650 chercheurs ont signé une déclaration exigeant une limitation stricte de l’automatisation dans leurs travaux. Cette initiative, lancée en juin 2026, marque un tournant dans une discipline où la rigueur et la reproductibilité des méthodes sont des principes fondateurs.

La déclaration de Leiden : un garde-fou contre l’automatisation

La déclaration de Leiden, portée par un groupe de seize mathématiciens dont Jim Portegies de l’université de technologie d’Eindhoven, ne rejette pas l’IA en soi. Elle impose en revanche une condition préalable à son utilisation : tout résultat produit ou validé par un outil d’IA doit faire l’objet d’une relecture et d’une validation par des pairs humains. Cette exigence s’inscrit dans une logique de transparence, déjà appliquée dans d’autres domaines scientifiques, comme la médecine ou la physique, où les découvertes doivent être reproductibles et explicables.

Contrairement à des disciplines comme l’informatique ou l’ingénierie, où l’IA est déjà largement intégrée, les mathématiques reposent sur une tradition de démonstration logique et de preuve formelle. Les signataires de la déclaration craignent qu’une dépendance excessive aux outils automatisés ne remette en cause cette base. Le risque ? Une érosion de la confiance dans les résultats, si leur origine algorithmique n’est pas clairement distinguée de la recherche humaine.

Un précédent : la physique face aux outils numériques

Ce mouvement rappelle une tension similaire survenue dans les années 1990, lorsque les simulations numériques ont commencé à jouer un rôle croissant en physique théorique. À l’époque, la communauté avait instauré des protocoles stricts pour distinguer les résultats issus de calculs automatisés de ceux obtenus par des méthodes analytiques.

Aujourd’hui, les mathématiciens s’appuient sur cet exemple pour justifier leurs exigences. La différence réside dans l’ampleur et la rapidité des progrès de l’IA, capable non plus seulement de simuler, mais d’esquisser des démonstrations ou même de proposer des conjectures.**

Qui décide des règles ? Le rôle des revues et des institutions

Concrètement, la mise en œuvre de ces garde-fous dépendra de deux acteurs principaux : les revues scientifiques et les institutions de financement.

Côté financement, des agences comme le National Science Foundation (NSF) aux États-Unis ou le European Research Council (ERC) en Europe pourraient conditionner leurs subventions au respect de ces principes. Or, aucune de ces institutions n’a encore pris position publiquement sur la déclaration de Leiden. Leur silence interroge : s’agit-il d’une prudence réglementaire, ou d’une attente de clarifications supplémentaires ?

Quels sont les arguments des opposants ?

Tous les mathématiciens ne partagent pas cette position.

Un autre argument avancé est celui de l’inégalité d’accès. Les chercheurs des pays en développement, souvent moins équipés en ressources informatiques, pourraient se voir pénalisés si l’IA devient une condition implicite de la publication. Certains soulignent aussi que les outils actuels, bien que performants, restent perfectibles : se fier à une démonstration générée par une IA, même validée a posteriori, introduit une vulnérabilité théorique.

Quelles conséquences pour les chercheurs et le grand public ?

Pour les mathématiciens signataires, les enjeux sont avant tout éthiques et épistémologiques. Une discipline qui perdrait sa capacité à distinguer le calcul de la pensée risquerait de voir sa crédibilité s’éroder, avec des conséquences sur son financement et son attractivité. À plus long terme, cela pourrait affecter des secteurs où les mathématiques sont critiques, comme la cryptographie, l’intelligence artificielle elle-même, ou même la modélisation climatique.

Pour le grand public, les implications sont moins directes, mais non négligeables. Si les résultats mathématiques deviennent moins fiables parce que leur origine algorithmique n’est pas clairement tracée, cela pourrait avoir un impact sur la sécurité des infrastructures numériques, des algorithmes de trading, ou des modèles prédictifs utilisés dans la santé.

Enfin, cette controverse pose une question plus large : jusqu’où peut-on automatiser un domaine où la rigueur humaine est indissociable de la vérité des résultats ? La déclaration de Leiden ne répond pas encore à cette question, mais elle force la communauté à y réfléchir.

Comment vérifier ou agir ?

1. Consulter les revues scientifiques : Les prochains numéros des principales publications de mathématiques pourraient intégrer des mentions sur l’usage de l’IA, avec des exigences de transparence.

2. Leurs sites publient généralement les orientations des comités d’évaluation.

3. Participer aux débats : La déclaration de Leiden est ouverte aux signatures. Les chercheurs souhaitant s’associer peuvent contacter l’un des porteurs du projet via les coordonnées disponibles sur les serveurs universitaires européens.