Les maths à l'âge de l'IA : la démonstration contre le bluff

• Les maths sont la seule discipline où l'IA ne peut pas bluffer, parce qu'une démonstration se vérifie ou tombe.
• La vraie percée n'est pas le chatbot qui récite, mais son mariage avec les logiciels qui refusent une preuve trouée.
• Le vrai risque n'est pas la machine, c'est la paresse de gober une réponse plausible sans jamais la contrôler.

J'ai lancé la vidéo, et au bout de dix minutes, on m'avait promis une révolution sans jamais me montrer une seule preuve vérifiée.

Le 20 août 2026, la chaîne Emergent Mind a publié « Mathematics in the Age of AI », une vidéo sur les maths à l'âge de l'IA. On y devine la vieille peur : la machine qui démontre à notre place. Sauf que les maths résistent au bluff mieux que n'importe quelle discipline. Une preuve est juste ou fausse. Et ça, aucun modèle ne le décide.

Une vidéo de plus qui promet la révolution, zéro preuve à l'écran

Le 20 août 2026, la chaîne Emergent Mind a publié « Mathematics in the Age of AI », les maths à l'âge de l'IA. Le titre sonne comme une promesse et une menace. La promesse : la machine démontre à notre place. La menace : le mathématicien range ses craies. On connaît la chanson. Chaque semaine, un récit annonce que tout bascule, sur la même partition que la bulle de l'an 2000. Sauf que les maths ont un défaut merveilleux. Elles ne se laissent pas raconter. Une démonstration est juste ou fausse, un point c'est tout. Aucun storytelling ne rattrape une preuve trouée. C'est la seule discipline où l'agent le plus bavard finit devant le même mur : vérifier. Le reste de la tech vit d'annonces, de guerre des prix et de OpenAI qui lève des milliards à coups de slides. Les maths, elles, demandent des comptes. Voilà pourquoi le sujet mérite mieux qu'un frisson de fin du monde. Regardons ce que l'IA fait vraiment aux nombres. Et surtout ce qu'elle ne fait pas.

Un modèle produit du plausible, une preuve exige du vérifiable

Voilà le noeud du problème. Un grand modèle de langage produit la suite de mots la plus probable. Il ne sait pas si c'est vrai. Il sait si ça ressemble à du vrai. En terrasse de café, on appelle ça un beau parleur. En maths, c'est une petite catastrophe, parce qu'une démonstration plausible reste fausse tant que personne ne l'a vérifiée ligne à ligne. Terence Tao l'a compris avant les autres. Il traite ces outils comme un assistant zélé et distrait, jamais comme un oracle. On lui demande des pistes, pas des vérités toutes faites. La vraie percée n'est pas le chatbot qui récite. C'est son mariage avec les assistants de preuve, ces logiciels qui refusent une démonstration tant qu'un seul pas manque. Là, l'IA sert à quelque chose, parce qu'un vérificateur impitoyable relit derrière elle. Ailleurs, c'est du vent bien habillé. Les développeurs le savent déjà, eux qui cultivent le doute honnête face à un code qui compile et qui ment. On l'a répété partout : l'ingénierie reste dure même quand écrire du texte devient facile. Empiler des jetons de calcul ne remplace pas comprendre, exactement comme entasser des données ne soigne aucun malade. Une IA gavée de livres rares connaît des millions de preuves. Elle n'en a saisi aucune. Elle copie le geste du mathématicien sans en porter la responsabilité. Et la responsabilité, en maths, c'est presque tout le métier.

Le trophée mathématique, nouvel argument marketing de l'IA

Pourquoi les maths, tout à coup ? Parce qu'une médaille aux olympiades se vend mieux qu'un tableur. Résoudre un problème réputé difficile devient un logo, un scalp brandi par Anthropic, Mistral ou DeepSeek à chaque sortie. Chacun dégaine son modèle, ses milliards de paramètres et sa panique soigneusement mise en scène. Le trophée mathématique, c'est le costume trois pièces de la hype. La recette est rodée. On agite la peur comme argument, on parle de machines qui dépassent l'homme, et pendant ce temps le compteur tourne. Cette course coûte une fortune, portée par une dette que les géants rangent loin des regards. On vous parle d'infini, on oublie de parler de la facture. Les maths offrent une caution noble à un business qui carbure aux poids ouverts et au lobbying. C'est habile. Rien ne rassure un investisseur comme un théorème bien propre. Sauf que le théorème se moque des levées de fonds. Il ne signe aucun contrat. Il attend juste qu'on le prouve. Aucun tour de table ne transforme une conjecture en certitude. Le marketing s'arrête net à la porte de la salle de démonstration.

Le mathématicien ne disparaît pas, il devient le juge

Alors non, l'IA n'enterre pas les maths. Elle déplace le métier. Hier, on cherchait puis on démontrait. Demain, on vérifiera davantage, parce que la machine proposera plus vite qu'on ne relit. Le danger n'est pas la démonstration automatique. C'est la paresse. Gober une réponse jolie sans la contrôler, voilà la vraie défaite. Ça vaut pour les maths comme pour Claude Code qui rassure et se trompe, ou pour l'ingénierie du contexte qu'on croit toujours maîtriser. Le mathématicien ne rend pas les armes. Il change de poste : il devient juge, arbitre, dernier rempart avant qu'une belle erreur ne devienne vérité officielle. Une démonstration ne se croit pas. Elle se vérifie. C'est lent, c'est ingrat, et c'est exactement ce qui protège la discipline du bluff généralisé. Emergent Mind pose une vraie question avec sa vidéo. La réponse tient en un mot que l'IA déteste par-dessus tout. Montre. Le reste, ce n'est que du décor.