L'IA menace-t-elle vraiment les maths ? Les mathématiciens sonnent l'alarme

UNE DÉCLARATION HISTORIQUE POUR PROTÉGER LES MATHS

Une déclaration signée par des centaines de mathématiciens vient d’être publiée. Elle met en garde contre l’influence croissante de l’industrie technologique dans la Recherche mathématique. Ce texte, intitulé Leyde Declaration on Artificial Intelligence and Mathematics, a été rédigé par un groupe de 16 chercheurs sur huit mois. Il a été rendu public le 2 juin 2026 et endorsed par l’International Mathematical Union, l’organisation qui supervise les plus prestigieux prix en mathématiques, comme la médaille Fields.

Cette déclaration intervient deux semaines après qu’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. Un timing qui n’est pas un hasard : les mathématiciens s’interrogent sur cette soudaine attention de la part des géants de la tech.

QUAND L’IA PRODUIT DES PREUVES… MAIS FAUSSES

Le premier danger pointé par la déclaration concerne la capacité des modèles d’IA à générer des preuves mathématiques plausibles mais incorrectes. Ces résultats, difficiles à distinguer d’une vraie preuve, mettent les relecteurs sous pression. Ils menacent la capacité des mathématiciens à maintenir les standards traditionnels de correction, de transparence et de vérifiabilité indépendante des preuves.

« Les brouillons générés par l’IA sont peu coûteux à produire, mais ils risquent d’encombrer la littérature scientifique de résultats erronés », explique Leslie Ann Goldberg, directrice du département d’informatique à l’université d’Oxford. Une fois ces erreurs publiées, elles risquent de se propager, car de nouveaux résultats s’appuient souvent sur des fondations fragiles.

L’IA COMME OUTIL… OU COMME OBJECTIF ?

La déclaration souligne aussi que l’utilisation de l’IA pourrait devenir une fin en soi. Elle perturberait les mécanismes de recrutement, de financement et de reconnaissance des chercheurs. Ceux qui n’ont pas accès à ces outils ou qui refusent de les utiliser pourraient être marginalisés. Surtout si ces technologies sont contrôlées par des organisations dont les valeurs ne correspondent pas aux leurs.

Les chercheurs craignent que l’IA ne soit utilisée non pas pour son utilité, mais parce que c’est la tendance du moment. Une tendance qui pourrait exclure une partie de la communauté mathématique.

LA COMMUNICATION SCIENTIFIQUE EN DANGER

Autre menace : la communication des résultats mathématiques via des canaux informels. Les communiqués de presse ou les billets de blog, sans publication d’article scientifique ni disclosure des méthodes, deviennent de plus en plus courants. Ces pratiques risquent de simplifier à outrance les découvertes, mettant en avant l’IA au détriment des contributions humaines. Pire encore, elles utilisent des tâches mathématiques spécifiques comme indicateurs des capacités de raisonnement général des produits commerciaux.

Ces stratégies de communication peuvent donner une image biaisée de l’importance réelle des outils d’IA. Elles risquent de tromper le public et les médias sur la portée réelle de ces avancées.

L’AUTONOMIE DES MATHS MENACÉE PAR LES GÉANTS TECH

La déclaration décrit aussi comment l’implication croissante des entreprises technologiques dans la recherche mathématique menace l’autonomie de la discipline. Avec des budgets universitaires sous pression, les chercheurs pourraient être tentés de collaborer avec ces entreprises à des conditions déséquilibrées. Cela pourrait aussi conduire à une priorisation des questions mathématiques adaptées aux techniques pilotées par l’IA.

Les mathématiciens s’inquiètent : leur discipline pourrait perdre son indépendance au profit des logiques commerciales des géants de la tech.

UNE COINCIDENCE TROP PARFAITE ?

Beaucoup des avertissements de la déclaration de Leyde prennent un relief particulier quand on les replace dans le contexte de l’annonce d’OpenAI. Le jour même où l’entreprise a publié les résultats de son modèle en mathématiques, elle a aussi annoncé son intention de proposer des actions au grand public. La déclaration critique ouvertement les communiqués de presse mettant en avant les exploits mathématiques de l’IA. Elle souligne qu’ils suivent des calendriers commerciaux, bien avant que les processus d’évaluation communautaire en mathématiques ne puissent avoir lieu.

« L’industrie technologique fonctionne selon une logique commerciale, qui est aux antipodes des valeurs des mathématiques », explique Michael Harris, mathématicien à l’université Columbia et co-auteur de la déclaration. Il ajoute que celle-ci cherche à « reprendre le contrôle du récit sur les valeurs et les objectifs des mathématiques, face à l’industrie de l’IA. »

OPEN AI RÉFUTE UNE CONJECTURE : VRAI OU FAUX ?

OpenAI a publié un article de recherche décrivant la preuve mathématique de son modèle. Il inclut des commentaires de mathématiciens indépendants. Pourtant, l’entreprise n’a pas révélé les prompts utilisés, ni les données d’entraînement de l’IA, ni les ressources de calcul mobilisées pour résoudre ces problèmes.

Rodrigo Ochigame, historien et anthropologue de l’informatique et de l’IA à l’université de Leyde et co-auteur de la déclaration, précise : « Le modèle d’IA est propriétaire et inaccessible à quiconque en dehors de l’entreprise. On nous donne une vidéo promotionnelle tape-à-l’œil, tandis que les informations de base nécessaires pour évaluer la signification scientifique du résultat sont gardées secrètes. »

UNE PERFORMANCE REMARQUABLE… MAIS À QUEL PRIX ?

Ursula Martin, mathématicienne et informaticienne à l’université d’Oxford et co-autrice de la déclaration, qualifie la performance d’OpenAI de « remarquable ». Elle suppose qu’elle a nécessité des ressources de calcul substantielles. Elle estime que des efforts humains équivalents auraient probablement permis de résoudre les problèmes de la même manière. Mais elle met en garde : les mathématiques ne se réduisent pas à la résolution de problèmes. Elles incluent aussi la cultivation des idées, la compréhension, le jugement et la perspicacité humaine.

Sur le site de la déclaration de Leyde, d’autres soutiens à l’effort intellectuel humain en mathématiques sont visibles. Peter Scholze, directeur de l’institut Max Planck de mathématiques, déclare : « Dans mon expérience, les idées mathématiques, comme les enfants, doivent être nourries et grandir pendant des années. » Il ajoute : « De la même manière que je ne veux pas que mes enfants soient éduqués par une IA, je cultive mes idées mathématiques sans utiliser l’IA. Et j’évite généralement de lire des textes générés par IA, dans la mesure du possible. »

QUEL AVENIR POUR LES MATHÉMATICIENS FACE À L’IA ?

Face à cette révolution, la déclaration de Leyde donne des conseils aux mathématiciens. Elle leur recommande de divulguer de manière transparente leur utilisation d’outils d’IA. Ils doivent conserver la responsabilité de la correction de leurs travaux mathématiques. Ils doivent continuer à créditer les auteurs humains, même si l’IA rend cette tâche plus complexe. Enfin, ils devraient utiliser uniquement des outils d’IA alignés avec les valeurs énoncées dans la déclaration.

La déclaration rappelle aussi que les mathématiques ont des applications dans des domaines sensibles : développement de technologies pour la guerre, l’oppression, la surveillance de masse ou la fragilisation de la démocratie. Les mathématiciens doivent donc faire des choix éthiques lorsqu’ils collaborent avec des entreprises technologiques.

LES ORGANISATIONS MATHÉMATIQUES DOIVENT AGIR

Les organisations professionnelles de mathématiques peuvent développer des lignes directrices pour l’utilisation de l’IA et d’autres outils automatisés dans la publication et l’évaluation. Elles doivent protéger les droits des chercheurs en tant qu’auteurs, par exemple en empêchant l’utilisation de leurs travaux comme données d’entraînement sans leur consentement. Elles doivent aussi soutenir le rôle des publications évaluées par les pairs. La déclaration suggère qu’elles « s’impliquent activement si des résultats mathématiques majeurs sont revendiqués par des moyens non conventionnels. »

Ces organisations ont aussi un rôle à jouer dans la préparation aux changements à venir. Elles doivent anticiper les évolutions liées à l’IA pour protéger l’intégrité de la recherche mathématique.

QUEL RÔLE POUR LES POLITIQUES ?

Les auteurs de la déclaration formulent des recommandations claires pour les décideurs politiques. Ils appellent à « protéger les droits des auteurs », « réguler l’industrie de l’IA » et « investir dans les infrastructures de calcul public ». Sous le titre « Ne croyez pas au battage », la déclaration met en garde contre la forte incitation commerciale des entreprises technologiques à exagérer les capacités de leurs produits.

Les politiques doivent comprendre que l’IA n’est pas une solution miracle. Ils doivent agir pour encadrer son développement et son utilisation dans la recherche scientifique.

L’IA OFFRE DES OPPORTUNITÉS… MAIS À QUEL PRIX ?

La déclaration reconnaît que l’industrie technologique « a offert des emplois lucratifs, des récompenses financières, des ressources informatiques et des opportunités intellectuellement stimulantes ». Certains mathématiciens y ont vu une solution à l’sous-financement chronique de l’enseignement supérieur et à la précarité des emplois académiques. Elle appelle à ce que ces collaborations respectent les standards définis dans la déclaration.

« En endorsant la déclaration, l’International Mathematical Union affirme que l’avenir de la recherche mathématique doit être guidé par le jugement humain, des pratiques équitables et transparentes, et les valeurs partagées de la communauté mathématique mondiale », déclare Ulrike Tillmann, vice-présidente de l’Union mathématique internationale.

LE JUGEMENT HUMAIN RESTE IRREMPLAÇABLE

La déclaration de Leyde ne rejette pas l’IA en bloc. Elle souligne que cette technologie peut être utile, mais qu’elle ne doit pas remplacer le jugement humain. Les mathématiques ne sont pas seulement une question de calculs ou de résolution de problèmes. Elles reposent sur la créativité, l’intuition et la capacité à comprendre des concepts abstraits.

Les outils d’IA peuvent aider, mais ils ne peuvent pas remplacer l’esprit critique et la perspicacité des mathématiciens. La discipline doit rester ancrée dans une approche humaine, éthique et transparente.

L’IA PEUT-ELLE VRAIMENT RÉFUTER UNE CONJECTURE ?

La capacité des modèles d’IA à réfuter des conjectures mathématiques soulève une question cruciale. Ces outils peuvent-ils vraiment comprendre la profondeur d’un problème mathématique ? Peuvent-ils évaluer la pertinence d’une preuve de manière aussi fine qu’un humain ? La déclaration de Leyde rappelle que les mathématiques sont une discipline où la rigueur et la précision sont essentielles. Une erreur, même minime, peut avoir des conséquences majeures.

Les mathématiciens s’inquiètent : une IA qui génère des preuves plausibles mais incorrectes pourrait semer le doute sur la validité de leurs travaux. Elle pourrait aussi discréditer des décennies de recherche.

LES MATHS FACE À LA LOGIQUE COMMERCIALE

La déclaration met en lumière un conflit fondamental entre les valeurs des mathématiques et celles de l’industrie technologique. Les mathématiques reposent sur la vérité, la transparence et la collaboration. L’industrie technologique, elle, fonctionne selon une logique de profit et de concurrence. Cette divergence de valeurs menace l’intégrité de la recherche mathématique.

Les mathématiciens doivent résister à la tentation de céder aux pressions commerciales. Ils doivent défendre l’autonomie de leur discipline et préserver son indépendance face aux intérêts des géants de la tech.

L’IA PEUT-ELLE ÊTRE UN OUTIL POUR LES MATHS ?

Malgré les dangers, la déclaration de Leyde ne rejette pas totalement l’IA. Elle reconnaît que cette technologie peut être un outil précieux pour les mathématiciens. Elle peut les aider à explorer des concepts, à tester des hypothèses ou à automatiser des tâches répétitives. Mais elle insiste : l’IA doit rester un outil au service de l’humain, et non l’inverse.

Les mathématiciens doivent utiliser l’IA de manière responsable, en gardant toujours le contrôle sur leurs travaux. Ils doivent s’assurer que les résultats générés par l’IA sont vérifiés, compris et validés par des humains.

UN AVERTISSEMENT POUR L’ENSEIGNEMENT DES MATHS

La déclaration souligne aussi que l’IA pourrait avoir un impact sur l’enseignement des mathématiques. Si les étudiants s’appuient trop sur des outils d’IA pour résoudre des problèmes, ils pourraient perdre la capacité de développer leur propre raisonnement mathématique. Ils risquent de devenir dépendants de ces outils, sans comprendre les concepts sous-jacents.

Les enseignants et les institutions doivent veiller à ce que l’IA soit utilisée comme un complément, et non comme un substitut à l’apprentissage des mathématiques. L’objectif reste de former des esprits critiques et autonomes.

LES MATHS DOIVENT RESTER HUMAINES

En conclusion, la déclaration de Leyde est un appel à la vigilance. Elle rappelle que les mathématiques sont une discipline profondément humaine, où la créativité, l’intuition et le jugement jouent un rôle central. L’IA peut être un outil utile, mais elle ne peut pas remplacer l’esprit humain. Les mathématiciens doivent défendre l’autonomie de leur discipline et veiller à ce que les valeurs de rigueur, de transparence et d’éthique restent au cœur de leur travail.

« Les mathématiques sont, et doivent rester, une entreprise profondément humaine. » Cette phrase résume l’esprit de la déclaration. Elle rappelle que, malgré les avancées technologiques, l’essence des mathématiques réside dans l’esprit humain et son capacité à innover, comprendre et créer.

QUELLE PLACE POUR L’IA DANS LES MATHS DE DEMAIN ?

La déclaration de Leyde ne propose pas de rejeter l’IA. Elle invite à une réflexion critique sur son utilisation. Les mathématiciens, les institutions et les politiques doivent travailler ensemble pour encadrer cette technologie. Ils doivent s’assurer qu’elle serve les intérêts de la science et de la société, et non ceux d’une poignée d’entreprises.

L’avenir des mathématiques dépendra de la capacité de la communauté à préserver son autonomie et son intégrité. L’IA peut être un allié, mais elle ne doit jamais devenir le maître.