Introduction

Les mathématiciens ont publié une déclaration mettant en garde contre l'influence croissante de l'industrie technologique sur la recherche mathématique, en raison des défis posés par l'intelligence artificielle (IA). Cette déclaration intervient deux semaines après que OpenAI a annoncé qu'un de ses modèles d'IA avait réfuté une conjecture mathématique vieille de 80 ans en géométrie.

Contexte Technique

La déclaration de Leiden sur l'IA et les mathématiques a été élaborée par un groupe de travail de 16 chercheurs pendant huit mois, suite à une conférence tenue à l'Université de Leiden aux Pays-Bas en septembre 2025. Elle a été publiée le 2 juin 2026 et a déjà été approuvée par l'Union mathématique internationale, l'organisation non gouvernementale qui organise des conférences et supervise les prix les plus prestigieux en mathématiques, tels que la Médaille Fields.

Les modèles d'IA peuvent produire des arguments plausibles mais non fiables, qui sont difficiles à distinguer des preuves mathématiques correctes. Cela met les rédacteurs sous pression et met en péril notre capacité à mettre en œuvre les normes traditionnelles pour la correction, la transparence et la vérifiabilité indépendante des preuves, selon la déclaration.

Analyse et Implications

Les développements récents de l'IA menacent les valeurs caractéristiques de la recherche mathématique, souvent de manière disproportionnée pour les étudiants et les mathématiciens en début de carrière, et donc pour l'avenir à long terme de la discipline. Les brouillons générés par l'IA sont peu coûteux à produire, et il y a un risque de clutterer la littérature avec des résultats revendiqués qui sont simplement faux, selon Leslie Ann Goldberg, chef du département d'informatique de l'Université d'Oxford.

Perspective

Il est essentiel de surveiller les limites de l'IA dans la recherche mathématique et de prendre des mesures pour prévenir les erreurs qui pourraient se propager dans la littérature. Les mathématiciens doivent être conscients des risques potentiels liés à l'utilisation de l'IA dans leur travail et prendre des mesures pour assurer la validité de leurs résultats.