L’intelligence artificielle ne menace pas seulement les métiers de la création, du journalisme ou du développement logiciel. Elle commence aussi à transformer un domaine que l’on croyait plus difficile à automatiser : les mathématiques de haut niveau. Avec des modèles capables de résoudre des problèmes complexes, de proposer des démonstrations ou d’explorer des conjectures, une partie de la communauté mathématique estime qu’il est temps d’établir des balises claires.

C’est dans ce contexte qu’a été publiée la Déclaration de Leiden sur l’intelligence artificielle et les mathématiques. Le document, issu d’un atelier tenu aux Pays-Bas et appuyé par l’Union mathématique internationale, ne rejette pas l’usage de l’IA en recherche. Il reconnaît au contraire son potentiel. Mais il met en garde contre une adoption précipitée, sans règles communes, sans transparence suffisante et sans validation rigoureuse des résultats produits ou assistés par des systèmes automatisés.

La crainte centrale tient à la nature même des mathématiques. Une démonstration n’est pas seulement une réponse correcte. Elle doit pouvoir être lue, comprise, vérifiée, contextualisée et intégrée dans un corpus de connaissances. Or, lorsqu’un modèle d’IA génère une preuve ou annonce avoir résolu un problème difficile, il peut être ardu de savoir comment il y est arrivé, quelles sources il a utilisées et si le résultat tient vraiment devant l’examen des spécialistes.

Les signataires s’inquiètent aussi du rôle grandissant des entreprises technologiques dans ce champ de recherche. Plusieurs modèles d’IA sont développés par des acteurs privés, souvent avec peu de transparence sur leurs données d’entraînement, leurs méthodes internes ou leurs limites. Cela crée un déséquilibre entre les laboratoires universitaires, les chercheurs indépendants et les grandes entreprises capables de financer d’immenses infrastructures de calcul.

Un autre enjeu concerne la reconnaissance du travail humain. Les modèles d’IA peuvent s’appuyer sur des articles, des prépublications et des bases de connaissances ouvertes, notamment des dépôts comme arXiv. Mais lorsqu’ils réutilisent ces travaux sans citation claire ou sans attribution précise, la contribution des mathématiciens qui ont construit le savoir de départ risque d’être effacée. Pour un domaine fondé sur la traçabilité des idées, ce n’est pas un détail administratif.

La Déclaration de Leiden propose notamment de rendre obligatoire la divulgation de l’usage de l’IA dans les travaux de recherche, de renforcer les processus d’évaluation par les pairs et d’investir dans des infrastructures publiques de calcul. L’objectif est de faire en sorte que les mathématiques ne deviennent pas dépendantes d’outils fermés, contrôlés par quelques entreprises, mais qu’elles conservent leur autonomie intellectuelle et leurs standards de validation.

Le débat arrive à un moment où l’IA est déjà présentée comme capable de s’attaquer à des problèmes mathématiques longtemps réservés aux chercheurs les plus spécialisés. Des modèles avancés ont récemment été associés à des résultats ambitieux, parfois annoncés publiquement avant d’avoir été pleinement examinés par la communauté. Cette dynamique pose un risque bien connu dans le monde scientifique : la communication peut aller plus vite que la vérification.

Le message des mathématiciens n’est donc pas celui d’un refus de la technologie. Il s’agit plutôt d’un appel à la prudence, à la méthode et à la responsabilité. L’IA peut devenir un outil puissant pour explorer des idées, tester des pistes et accélérer certains travaux. Mais elle ne remplace pas le jugement humain, la compréhension profonde d’une preuve ni la responsabilité collective de dire ce qui est vrai, ce qui est incertain et ce qui doit encore être vérifié.

Mais cette déclaration dépasse largement les mathématiques. Elle pose une question qui touche toute la recherche scientifique : qui contrôle les outils qui produisent le savoir, qui valide les résultats et qui reçoit le crédit pour les découvertes ? Dans un monde où l’IA peut générer des réponses de plus en plus convaincantes, la communauté mathématique rappelle une évidence essentielle : en science, une réponse ne suffit pas. Il faut aussi pouvoir la démontrer.

Source : Leiden declaration.ai

*****

Du lundi au vendredi, Bruno Guglielminetti vous propose un regard sur l’essentiel de l’actualité numérique avec 120 secondes de Tech.

Ou encore…

Écoutez la plus récente édition de Mon Carnet,
le magazine hebdomadaire de l’actualité numérique.