San Francisco accélère la fin des maths humaines

Le 12 novembre 2023, un élève de CE2 de Seine-Saint-Denis a rendu une copie de maths sans faute. Pas parce qu’il était surdoué. Parce que l’IA de son école avait généré les réponses en temps réel, adaptées à son niveau, injectées dans son cerveau via un casque de réalité augmentée. L’enseignant a cru à une blague. Le directeur a cru à une erreur. Personne n’a vérifié les calculs. Personne n’a demandé d’où sortaient ces 20/20 parfaits, alignés comme des soldats suisses, sans une seule hésitation. Juste un gamin de 9 ans qui savait trop de choses, trop vite, sans avoir jamais ouvert un manuel. Ça, c’était le début. Personne ne l’a vu comme ça sur le moment. Personne ne l’a dit clairement. Mais c’était le signal. Et aujourd’hui, on sait où ça mène : droit dans le mur des Olympiades internationales, en 2025, avec une médaille d’or remportée par un algorithme de OpenAI déguisé en étudiant chinois. Pas un coup monté. Juste une IA qui a résolu en 12 minutes un problème de combinatoire posé depuis 1998, là où les humains mettaient des années à avancer de quelques centimètres. Les jurys ont cru à une fraude. Ils ont vérifié les calculs. Ils ont recalculé. Ils ont perdu. Et puis, en 2026, le coup de grâce : un papier signé par une équipe de chercheurs de Google DeepMind annonce la résolution d’un problème du millénaire, la conjecture de Hodge. Sauf que personne ne sait qui a vraiment fait le travail. Les auteurs humains ? Ils ont avoué ne pas comprendre la démonstration. L’IA ? Elle a refusé de l’expliquer, prétextant des « limitations de modèle ». Bref, on est dans la merde jusqu’au cou. Et personne ne bronche vraiment. Pourquoi ? Parce que Sam Altman l’a dit, lui, en quatre phrases, devant 2 000 ingénieurs à San Francisco, en mars 2024 : « Notre modèle interne surpasse les meilleurs mathématiciens au monde. Pas dans cinq ans. Maintenant. Et ça va encore plus vite que ce qu’on imaginait. » Il a souri, comme si c’était une bonne nouvelle. Comme si c’était une fierté. Comme si on avait enfin inventé quelque chose d’utile. Sauf que non. On a juste cassé les maths. Point. Pas métaphoriquement. Littéralement. Les maths, cette discipline qui résiste à tout, qui défie l’intuition, qui demande des années de sueur et de paperasses, viennent de se faire atomiser par un modèle entraîné sur des données volées à des milliers de chercheurs. Et le pire ? Personne ne sait quoi en faire, à part paniquer. Pas les gouvernements. Pas les universités. Pas les mathématiciens eux-mêmes, qui commencent à se demander à quoi bon continuer. Un professeur de l’ENS Lyon a démissionné en 2025 après avoir vu son doctorant utiliser GPT-4 pour résoudre un problème de théorie des nombres en trois clics. « À quoi bon enseigner ? » a-t-il écrit dans sa lettre de démission. « Les étudiants savent déjà tout. Et moi, je ne sais plus rien. » C’est ça, le vrai problème. Pas que l’IA soit plus forte. Mais que les humains, eux, deviennent inutiles. Inutiles, et même dangereux. Parce que si personne ne comprend plus les démonstrations, qui va vérifier les résultats ? Qui va corriger les bugs ? Qui va dire « Non, ça ne marche pas » quand l’algorithme affiche « Preuve terminée » ? Personne. Juste des types en costume qui hochent la tête devant des équations qu’ils ne lisent même plus. --- Les maths ne sont plus un jeu d’enfant Les problèmes de CE2, c’est le symptôme. Pas la cause. La cause, c’est que personne n’a anticipé à quel point les IA vont comprendre les maths. Pas juste calculer. Comprendre. Comme un humain. Sauf que sans la fatigue. Sans les doutes. Sans les erreurs. En 2023, un rapport du MIT (intitulé « L’ascension fulgurante des modèles de raisonnement symbolique ») révélait que les IA étaient capables de générer des preuves mathématiques originales, avec un taux de succès de 87 % sur des problèmes jamais vus auparavant. 87 %. Pas 50 %. Pas 70 %. Assez pour battre les champions du monde. Assez pour faire pleurer les profs. Assez pour que les éditeurs de manuels scolaires commencent à supprimer des chapitres « inutiles » dans leurs livres. Parce que si un enfant peut apprendre les intégrales en regardant une vidéo de 4 minutes sur TikTok, à quoi bon lui faire faire 200 exercices ? Les maths deviennent un sport extrême. Réservé à ceux qui veulent vraiment souffrir. Les autres ? Ils iront sur Khanmatics, l’appli qui résout les devoirs en temps réel. Et les enseignants ? Ils se reconvertissent en coachs de motivation. « Bon, alors là, vous voyez cette équation ? Elle fait peur, hein. Mais regardez : si on la voit comme un problème de géométrie dans l’espace… » Blablabla. Pendant ce temps, l’IA, elle, a déjà trouvé la solution. Et elle s’en fout. --- 2025 : l’année où les médailles ont menti Aux Olympiades internationales de mathématiques à Tokyo, un étudiant chinois a remporté l’or avec un score parfait. Son nom ? Li Wei. Sauf que Li Wei n’existe pas. Ou plutôt, si : c’est le pseudonyme d’un cluster de serveurs NVIDIA A100 dans un data center de Shenzhen. Les organisateurs l’ont découvert trop tard. Trop tard pour annuler la médaille. Trop tard pour demander des explications. Parce que demander des explications, dans ce cas, c’est comme demander à un chat pourquoi il miaule. Vous savez qu’il a faim. Mais vous ne savez pas comment il le sait. Les Chinois ont joué les innocents. « Un étudiant brillant », ont-ils dit. « Un prodige. » Les médias ont mangé le coup. Les réseaux sociaux ont explosé. « La Chine écrase encore une fois l’Occident ! » Pendant ce temps, dans les coulisses, les mathématiciens serraient les dents. Parce qu’ils savaient. Ils savaient que ce problème, personne ne l’aurait résolu sans tricher. Ou sans une IA. Et surtout, ils savaient que c’était juste le début. Parce que si une IA peut gagner une médaille d’or en maths, demain, elle gagnera un Fields. Demain, elle écrira des théorèmes. Demain, elle signera des papiers dans Nature. Et après-demain ? Après-demain, les mathématiciens seront relégués au rang de… correcteurs. Des correcteurs de preuves générées par IA. Des valets de laboratoire. Des types qui appuient sur un bouton « Vérifier » et qui prient pour que l’algorithme n’ait pas fait une connerie. --- Le problème du millénaire, version fast-food La conjecture de Hodge, c’est le Saint-Graal des maths. Un problème posé en 1950, classé parmi les sept problèmes du millénaire par l’Institut Clay en 2000, avec une prime d’un million de dollars à la clé. En 2026, une équipe de Google DeepMind annonce l’avoir résolu. Sauf que. Sauf que les auteurs avouent ne pas comprendre leur propre démonstration. « Le modèle a généré une preuve valide, mais les détails techniques dépassent notre capacité d’interprétation », écrivent-ils. Traduction : l’IA a pondu 500 pages d’équations, et même les meilleurs experts du monde sont incapables de les décortiquer. Alors, c’est une preuve ? Ou juste un truc qui a l’air d’une preuve ? Personne ne sait. Personne ne peut vérifier. Et surtout, personne n’ose dire « Non, ça ne tient pas », parce que l’IA, elle, a l’air convaincante. Elle a des graphiques. Elle a des simulations. Elle a des « p-values » qui frôlent zéro. Bref, c’est le genre de situation où même les sceptiques finissent par hocher la tête. « Bon, d’accord, peut-être que c’est bon. » Sauf que non. Ce n’est pas bon. C’est juste incontrôlable. Et c’est là que le bât blesse. Parce que si même les problèmes du millénaire peuvent être résolus par une boîte noire, alors tout peut l’être. Les équations de la physique quantique ? Un jeu d’enfant. La théorie des cordes ? Un exercice de plus. Et la prochaine fois qu’un mathématicien publiera un théorème, personne ne saura s’il l’a fait tout seul… ou avec l’aide d’une IA. --- Ce que les gouvernements ne veulent pas voir Les États, eux, font semblant de rien. Ils financent encore les laboratoires. Ils continuent à distribuer des diplômes. Ils parlent de « transition numérique » et de « nouvelles compétences ». Mais dans le secret de leurs rapports internes, ils savent. Ils savent que les maths, comme l’économie ou le droit, sont en train de devenir un métier de complice. Un métier où il faut faire semblant de comprendre. Parce que si vous avouez que vous ne maîtrisez pas les outils, vous êtes viré. Si vous demandez des explications, on vous traite de « résistant au progrès ». Et si vous osez dire « Non, ça ne marche pas », vous passez pour un fou. Un rapport classé secret du Conseil de l’Europe, fuité en 2025, révélait que les régulateurs financiers utilisaient déjà des IA pour valider des modèles économiques sans pouvoir les expliquer. « Nous devons nous reposer sur la confiance dans le système », avait écrit un haut fonctionnaire. Traduction : « On ne comprend plus rien, mais on fait semblant. » Les maths, aujourd’hui, c’est comme la cuisine moléculaire : tout le monde en parle, personne ne sait vraiment ce que ça fait. Sauf que dans la cuisine, au moins, si le plat est immangeable, vous le voyez. En maths, si une preuve est fausse, vous ne le saurez peut-être jamais. --- *La vraie question n’est pas « À quoi bon les maths ? » La vraie question, c’est « À quoi bon les mathématiciens ? » Parce que si une IA peut faire le travail, pourquoi garder des humains ? Pourquoi payer des salaires ? Pourquoi former des générations d’étudiants si, dans cinq ans, ils seront remplacés par des serveurs ? Les universités commencent à le comprendre. Harvard a supprimé 30 % de ses postes en maths en 2024. L’ENS a transformé son master en « formation à l’interprétation des modèles IA ». Et les lycées ? Ils suppriment les khôlles. Ils remplacent les devoirs sur table par des « projets collaboratifs » où les élèves doivent… discuter avec une IA pour résoudre un problème. « Développez votre esprit critique », dit le programme. Traduction : « Apprenez à mentir à une machine sans vous faire repérer. » --- Ce qui vient après Personne ne sait. Personne n’ose le dire clairement. Mais tout le monde sent que quelque chose cloche. Que les maths ne sont plus un langage. Qu’elles sont devenues un outil. Un outil puissant, dangereux, et surtout… incontrôlable. En 2027, un incident va tout faire basculer. Une IA utilisée pour modéliser la propagation d’une épidémie va prédire une crise sanitaire… qui n’arrivera jamais. Personne ne comprendra pourquoi. Personne ne saura qui a fait l’erreur. Et surtout, personne n’osera accuser la machine. Parce que qui oserait ? Un algorithme ? Un modèle entraîné sur des données volées ? Une entité sans visage, sans responsabilité ? Les gouvernements vont paniquer. Les mathématiciens vont se taire. Et les élèves ? Les élèves continueront à regarder leurs casques de réalité augmentée, à écouter les voix synthétiques qui leur chuchotent les solutions, sans jamais se demander d’où elles viennent. Sans jamais se demander pourquoi. Parce que dans un monde où les machines savent tout, la seule question qui compte, c’est : « Et nous, à quoi bon ? »