Accueil › Blog › Vérifiabilité et métiers

Pourquoi l'IA remplace les mathématiciens avant les plombiers

Publié le 19 octobre 2026 · par Amine, AI business analyst en CAC 40 · 7 min de lecture

Le 6 octobre 2026, OpenAI a mis en ligne 722 manuscrits de mathématiques, rangés en 372 familles de résultats. Quelques jours plus tard, un médaillé Fields y reconnaissait seize de ses propres questions de recherche. Personne n'avait vu ça venir, et pourtant c'était prévisible. Ce n'est pas la difficulté d'un métier qui décide s'il tombe. C'est sa vérifiabilité.

Que s'est-il exactement passé le 6 octobre ?

OpenAI a ouvert un dépôt GitHub consacré à la recherche mathématique. À l'intérieur : 722 manuscrits, groupés en 372 familles de résultats, produits par un modèle interne que l'entreprise n'a toujours pas rendu public. Le dépôt précise qu'environ 4 000 problèmes ont été posés à ce modèle, et qu'en moyenne chaque résultat a demandé trois heures de calcul. Une partie du catalogue — environ 42 % des résultats de tête — est formalisée en Lean, un langage où une preuve est vérifiée par un programme, pas par un humain.

Le détail qui a tout déclenché tient en une phrase. Hugo Duminil-Copin, médaille Fields 2022, a passé la soirée à parcourir le dépôt. Il y a retrouvé seize des questions sur lesquelles son équipe et lui travaillaient, déjà résolues par la machine. Sa réaction, rapportée par Le Monde : « ils ont annihilé mon domaine de recherche ».

Lis bien ce qui s'est passé. Ce n'est pas un outil d'aide à la recherche qu'on a mis en ligne. C'est un catalogue de résultats déjà produits, posé sur une table, et des chercheurs de premier plan qui y découvrent, un soir, que leur agenda de recherche a été bouclé par une machine.

Pourquoi les mathématiques sont-elles tombées en premier ?

Parce qu'une preuve est soit juste, soit fausse. Il n'y a pas de zone grise, pas de négociation, pas de client à convaincre. Un théorème se vérifie en quelques secondes, et il se vérifie tout seul : une fois formalisé, un ordinateur peut dire si c'est bon ou non.

C'est exactement le terrain où l'intelligence artificielle apprend le plus vite. Le chercheur Jason Wei a donné un nom à ce phénomène : la loi du vérificateur. Sa formulation tient en une phrase — plus un travail est facile à vérifier, plus il est facile d'entraîner une IA à le faire. Et la suite est brutale : toute tâche soluble et facile à vérifier finira par être résolue par une IA.

Les mathématiques en sont le cas parfait. Un mois plus tôt, le 8 septembre, OpenAI annonçait déjà une solution au problème de Navier-Stokes, l'un des sept problèmes du millénaire de l'Institut Clay, resté sans démonstration humaine depuis un quart de siècle. La résistance du monde mathématique a été immédiate — une annonce n'est pas une preuve validée par les pairs — mais le signal, lui, est limpide. Le métier qu'on croyait le plus à l'abri, le plus abstrait, a été touché en premier. Pas malgré sa difficulté. À cause de sa vérifiabilité.

Comment savoir si ton travail est dans la zone dangereuse ?

Regarde la vérifiabilité, pas la difficulté. C'est là que presque tout le monde se trompe. On classe les métiers par niveau d'études, par prestige, par complexité apparente. La machine s'en moque. Pour elle, une seule question compte : est-ce qu'on peut dire en quelques secondes si le résultat est bon ?

Un tableau de chiffres, un compte rendu, un code, une traduction, une réponse à une question fermée : vérifiable. Un client qui change d'avis trois fois, une situation ambiguë, une décision qui engage ta responsabilité, une relation à maintenir : pas vérifiable.

Trace la ligne sur ta propre semaine. Les tâches dont on peut vérifier le résultat en quelques secondes sont celles que l'IA absorbe le plus vite. Les autres — celles qui demandent de l'arbitrage, de la présence, du jugement — restent humaines pour longtemps. La difficulté n'a jamais été le bon critère. C'est pour ça qu'on s'est tant trompé sur l'ordre dans lequel les métiers tombent.

Pourquoi un plombier est-il plus protégé qu'un chercheur ?

Parce que le réel ne se vérifie pas en une ligne. Le travail du plombier se passe dans un environnement physique, avec un contexte précis, un corps qui se déplace, un client qui a un problème particulier. Chaque intervention est différente, et personne ne peut « vérifier » d'un coup d'œil si la réparation tiendra dans dix ans.

Ce n'est pas une question de mérite ni de diplôme. C'est une question de structure de la tâche. Le chercheur en mathématiques travaille dans un monde parfaitement vérifiable, d'où sa chute spectaculaire. Le plombier travaille dans un monde bruité, contingent, où la vérification est elle-même un travail. L'IA progresse aussi dans le monde physique, via les robots, mais beaucoup plus lentement, précisément parce que la vérification y est difficile.

La leçon n'est pas « deviens plombier ». La leçon, c'est que la frontière ne passe pas là où on l'imaginait. Elle ne sépare pas les métiers manuels des métiers intellectuels. Elle sépare ce qui se vérifie de ce qui ne se vérifie pas.

Que faire quand la machine sait vérifier mieux que toi ?

Arrêter de faire la course sur le terrain où elle gagne. La machine peut produire cinquante réponses à la minute, mais elle ne sait pas te dire laquelle est la bonne — et surtout, elle ne sait pas quelle question poser. Choisir la bonne question, arbitrer entre des options qui se valent techniquement, décider de ce qui compte : voilà ce qui reste humain, et ce qui prend de la valeur.

C'est le vrai basculement. Pendant des décennies, on a payé l'exécution : savoir faire, savoir résoudre, savoir produire. Ce travail-là devient gratuit, ou presque. Ce qui n'a jamais autant valu, c'est le jugement — la capacité de décider quoi faire, quoi refuser, quelle direction prendre.

Tu n'es pas obligé de subir ce mouvement, tu peux le lire sur ton propre poste. La première chose à savoir, c'est où tu te situes : quelle part de ta semaine part dans du travail vérifiable, et quelle part dans du jugement. Ça ne se lit dans aucune étude nationale. Ça se calcule sur ton travail précis.

Questions fréquentes

Écrit par Amine Lounnas

AI business analyst depuis cinq ans dans des grands groupes du CAC 40 — banque, assurance, énergie. Certifié DPO et CIPP/E. Mon métier consiste à identifier quelles tâches une entreprise peut automatiser ; ce site retourne cette méthode vers les salariés.

Qui écrit ici, et comment →