Des mathématiciens alertent sur les menaces de l'IA pour leur profession
Un groupe de seize mathématiciens a publié le 2 juin 2026 la Déclaration de Leyde sur l'intelligence artificielle et les mathématiques, un texte de mise en garde contre l'influence croissante de l'industrie technologique sur leur discipline. Élaborée sur huit mois à la suite d'une conférence tenue à l'université de Leyde aux Pays-Bas en septembre 2025, cette déclaration a été endorsée par l'Union mathématique internationale, l'organisation non gouvernementale qui supervise les prix les plus prestigieux du domaine, dont la médaille Fields. Sa publication intervient deux semaines après qu'OpenAI a annoncé qu'un de ses modèles aurait réfuté une conjecture géométrique vieille de quatre-vingts ans, suscitant un débat immédiat dans la communauté scientifique sur ce que l'IA peut réellement accomplir en mathématiques.
La déclaration pointe les nombreuses tensions que l'essor de l'IA fait peser sur la recherche mathématique : risque de dévalorisation du travail humain, dépendance accrue aux outils et aux agendas des grandes entreprises technologiques, et difficulté à évaluer rigoureusement des résultats produits par des systèmes opaques. Kevin Buzzard, mathématicien à l'Imperial College de Londres, résume l'enjeu sans détour : "Les mathématiciens devraient trouver assez frappant que les entreprises technologiques s'intéressent soudainement à leur travail." Pour les chercheurs, il ne s'agit pas de rejeter l'outil, mais d'en contrôler les conditions d'usage et d'éviter que des critères commerciaux ne redéfinissent ce qui compte comme une "découverte" mathématique.
La controverse autour de la conjecture réfutée par OpenAI illustre précisément ce glissement : lorsqu'une entreprise privée annonce une percée scientifique dans un domaine aussi fondamental que les mathématiques, les questions de vérification, de reproductibilité et de crédit intellectuel deviennent politiques autant que techniques. L'Union mathématique internationale, en cautionnant la déclaration, marque une prise de position collective rare de la part d'une communauté scientifique face aux GAFAM. Les prochains mois diront si ce texte reste symbolique ou amorce une gouvernance concrète des usages de l'IA en recherche fondamentale.
La Déclaration de Leyde, endossée par l'Union mathématique internationale depuis les Pays-Bas, interpelle directement les laboratoires et chercheurs mathématiques européens, dont les institutions françaises comme le CNRS et l'IHÉS, face au risque de redéfinition des critères de découverte scientifique par des acteurs technologiques privés.
Dans nos dossiers
Vu une erreur factuelle dans cet article ? Signalez-la. Toutes les corrections valides sont publiées sur /corrections.


