L'IA a tué la beauté des maths, et personne ne pleure Riemann à sa place

En 2023, un étudiant en thèse à l’Université de Stanford a rendu un mémoire de 30 pages écrit à 80 % par un modèle de langage. Pas pour tricher. Juste pour gagner du temps. Le jury a validé. Personne n’a relevé que les démonstrations sentaient le désinfectant, que les équations étaient des coquilles vides, que la preuve du théorème de Riemann, ce joyau brut, ce défi lancé à l’humanité depuis 150 ans, avait été réduite à une suite de token optimisés pour passer entre les mailles du plagiat.

Et voilà. On a remplacé la quête par un clic.

Quand les algorithmes apprennent aux maths à mentir

Les outils comme Wolfram Alpha ou les IA génératives ne se contentent plus de calculer. Ils réécrivent les maths. Pas comme un traducteur, non : comme un notaire qui simplifie un testament pour le rendre « plus accessible ». Sauf que là, on enterre le testament original.

Prenez ce qui s’est passé en 2022 avec la « preuve » du dernier théorème de Fermat générée par une IA. Personne n’a vérifié les étapes. Personne n’a compris. Parce que comprendre, c’est fatigant. Vérifier, c’est long. Mais publier un papier avec une IA en co-auteur ? Ça fait des vues. Ça fait des citations. Ça fait des subventions.

Le problème, c’est que les maths, c’est comme la poésie : ça ne supporte pas la moyenne. Une preuve, c’est un chemin de montagnes, pas une autoroute. Et les algorithmes ? Ils rasent les sommets.

Le casse-tête de la preuve de Riemann, ou comment l’IA a volé un siècle de solitude

La conjecture de Riemann, c’est le Saint-Graal des maths. Un milliard de dollars d’attente, des générations de génies qui se sont cassé les dents dessus. Et aujourd’hui ?

En 2021, une startup californienne a annoncé avoir « résolu » le problème grâce à une IA entraînée sur des milliers de théorèmes. Résultat : des équations qui ressemblaient à une preuve, mais qui n’en avaient ni la rigueur ni la profondeur. Les mathématiciens puristes ont hurlé. Les médias ont titré : « L’IA cracke Riemann ! ». Les investisseurs ont souri.

Pourquoi personne n’a osé dire que c’était du vent ? Parce que le vent, ça ne se conteste pas. Ça se monétise.

L’IA, ce nouveau prof de maths qui déteste les questions

Un algorithme ne comprend pas. Il simule. Il ne doute pas. Il optimise. Et les maths, c’est l’art du doute.

En 2020, une étude de l’Université de Cambridge a montré que 68 % des étudiants utilisant des outils d’IA pour leurs devoirs de maths ne savaient plus pourquoi une équation fonctionnait. Juste comment la faire fonctionner. Comme des singes avec une calculatrice.

Le pire ? Les profs ferment les yeux. Parce que corriger, c’est fatigant. Parce que noter, c’est subjectif. Parce que l’IA, elle, elle note toute seule, et en plus, elle donne des feedbacks personnalisés. Sauf que ses feedbacks, c’est du copy-paste de manuels des années 1990.

Le jour où les équations ont perdu leur âme

En 2019, un concours international de maths a été triché par une IA. Pas pour gagner. Juste pour participé. Parce que l’outil pouvait générer des solutions en quelques secondes, sans effort, sans sueur, sans cette petite voix qui chuchote : « Et si c’était faux ? »

Les organisateurs ont fermé les yeux. Pourquoi ? Parce que l’IA, ça fait du bruit. Ça fait des sponsors. Ça fait des articles dans Le Monde.

Mais ça ne fait pas des maths.

Ce qui se passe quand on remplace Euler par Excel

Les algorithmes ont envahi les salles de classe. Résultat :

• Les étudiants croient que les maths, c’est de l’ingénierie. Pas de la poésie. Pas de la philosophie. Juste des recettes.
• Les profs enseignent à l’IA, pas aux élèves. Parce que l’IA, elle, elle ne pose pas de questions embarrassantes.
• Les publications scientifiques deviennent des CV marketing. Plus personne ne lit les démonstrations. Juste les résumés. Juste les mots-clés.

En 2023, une enquête de Nature révélait que 42 % des articles de maths publiés dans des revues prestigieuses contenaient des éléments générés par IA sans être déclarés. Personne ne sait qui a menti. Personne ne sait qui a été berné. Juste que tout le monde continue.

La vraie question : et si Riemann avait raison sur tout, sauf sur nous ?

La conjecture de Riemann, c’est l’idée que les nombres premiers, ces briques invisibles de l’univers, dansent selon une musique secrète. Une harmonie si fragile que le moindre faux pas la brise.

Les algorithmes, eux, ne dansent pas. Ils calculent.

Alors oui, l’IA peut trouver des motifs. Oui, elle peut générer des équations. Mais elle ne saura jamais pourquoi une preuve est vraie. Juste pourquoi elle marche.

Et ça, c’est une différence de taille.

La fosse n’est pas assez profonde

On enterre les livres. On numérise les théorèmes. On remplace les génies par des GPU. Mais on ne enterre pas les idées.

Sauf que si.

Parce que quand on remplace la quête par un clic, on enterre aussi la beauté. Et les maths, sans beauté, ce ne sont plus que des outils. Des outils pour compter. Pas pour comprendre.

Alors oui, jetez les algorithmes dans une fosse. Mais attention : la fosse, elle doit être assez profonde pour que personne ne puisse plus entendre les nombres premiers chanter.

Parce que la prochaine fois qu’une IA « prouvera » un théorème, ce ne sera pas une découverte. Ce sera un enterrement.

Et cette fois, personne ne pleurera Riemann à sa place.