Formalisme mathématique

01À quoi sert cette page

Cette page n'est pas un chapitre de la théorie. C'est une pièce d'archive et un avertissement. Elle répond à trois questions qu'un lecteur peut légitimement se poser en trouvant, sur ce site, des documents bardés de mathématiques qui ne sont référencés nulle part ailleurs.

Première question : qu'est-ce que ces documents ? PRISME étudie ce qui se passe dans un dialogue prolongé entre un humain et un modèle de langage. Le socle est empirique : 314 dialogues, 69 726 tours de parole, 2 733 « écarts » connotatifs annotés, un modèle à régimes latents, une hystérèse mesurée, des mondes nuls, des contrôles négatifs. Début septembre 2026, j'ai voulu savoir si l'instrument construit sur ce corpus fonctionnait ailleurs — en climatologie, en oncologie, en urbanisme. J'ai demandé à un modèle de langage de m'en faire une proposition. Six jours plus tard, j'avais un appareil formel autonome de trente et une pages, deux manuscrits frères, et plus aucune trace de ma question de départ.

Deuxième question : pourquoi sont-ils encore en ligne ? Parce que la règle de ce programme est que les erreurs ne s'effacent pas, elles s'archivent avec leur correction. Les rétracter serait faire disparaître la seule chose qu'ils démontrent réellement. Ils sont donc en quarantaine documentaire : datés, téléchargeables (§ 10), ni intégrés ni corrigés, et désormais traités comme la donnée d'un cas.

Troisième question : quelle problématique cela soulève-t-il ? Celle-ci, et elle dépasse largement mon programme :

Ce n'est pas une anecdote de méthode. C'est, à mes yeux, l'un des résultats de cette recherche : la dyade humain-IA a une pente, et cette pente est mesurable sur pièces. Elle fait l'objet de quatre textes complémentaires — Le bruit éblouissant, La masse et la vérité, Le reviewer fantôme et La réception disparue. La présente page en est la pièce technique.

02Le formalisme, pas à pas

Il faut d'abord comprendre ce qu'on critique. Voici l'appareil, expliqué sans prérequis, terme après terme. Tout ce qui suit est exact : ce sont des mathématiques classiques, enseignées et démontrées, et je ne conteste aucune ligne de leur contenu propre.

2.1 — Deux espaces

L'idée de départ est simple et ancienne. On sépare ce qui bouge vite de ce qui bouge lentement.

L'espace des états \(X\) contient ce que fait le système à un instant donné : la position de la bille dans la vallée, le régime d'un dialogue, la phase d'un oscillateur. L'espace des contrôles \(\Theta\) contient les paramètres qui déforment le paysage lui-même : la pente du terrain, la température, l'intensité d'un couplage. Le système vit dans \(X\) ; l'expérimentateur, ou le temps long, se déplace dans \(\Theta\).

La réunion des deux forme un fibré : au-dessus de chaque point de \(\Theta\), on attache une copie de \(X\). On note cela \(\Theta \times X\). Image : une étagère de maquettes, une maquette de paysage par réglage possible.

2.2 — Le paysage et sa dynamique

Dans le cas le plus simple, dit registre gradient, le système descend une pente. Si \(V(x)\) est l'altitude au point \(x\), la bille suit :

Le point \(\dot{x}\) signifie « vitesse de \(x\) », et \(V'\) la pente. La bille va là où ça descend, et s'arrête au fond d'un creux. Chaque creux est un régime stable. Un système à deux creux est bistable : il a deux manières d'être au repos, et laquelle il occupe dépend d'où il vient. C'est de l'hystérèse — l'histoire compte, le chemin aller n'est pas le chemin retour.

2.3 — La famille \(A_k\) : fabriquer \(n\) creux à volonté

Le document TRANS utilise une famille de paysages standard, notée \(A_k\), qui est le catalogue minimal des formes possibles autour d'un point dégénéré :

Lisez-la ainsi. Le premier terme, \(x^{k+1}\), donne la forme générale du paysage. Tous les autres sont les boutons de réglage : ce sont les coordonnées de \(\Theta\). Et la relation \(k = 2n-1\) dit quelque chose de précis : pour obtenir \(n\) creux coexistants, il faut un polynôme de degré \(2n\). Deux régimes demandent \(k=3\), trois régimes \(k=5\), quatre régimes \(k=7\).

C'est le théorème de Thom-Arnold sur les dépliements verses : au voisinage d'un point où la dérivée s'annule plusieurs fois, toutes les perturbations imaginables se ramènent, à changement de coordonnées près, à cette liste finie. Le mot « versel » signifie précisément cela — la famille contient déjà tout ce qui peut arriver.

2.4 — Chambres et parois

Maintenant, promenez-vous dans \(\Theta\), c'est-à-dire tournez les boutons. La plupart du temps, rien ne change qualitativement : trois creux restent trois creux. Puis, à certaines valeurs, un creux disparaît d'un coup. L'ensemble de ces valeurs critiques s'appelle l'ensemble de bifurcation. Ce qui reste quand on l'enlève se découpe en régions connexes : les chambres.

D'où la reformulation qui a séduit : mesurer un système, ce ne serait pas découvrir un « état caché », mais le localiser par ses parois et sa chambre. Séduisant — et c'est ici qu'il faut être prudent, car la v0.5 avait elle-même corrigé le raccourci. Une bimodalité observée ne dit pas « nous sommes dans une chambre à deux régimes ». Elle donne un candidat populationnel. Parler de paroi ou de chambre exige d'abord une stabilité entre strates, des répétitions comparables ou un modèle hiérarchique — faute de quoi l'on nomme « chambre » une simple hétérogénéité de population.

2.5 — La loi de fermeture en \(n - \tfrac12\)

Voici le joyau, et l'endroit où j'ai décroché le premier. Approchez-vous d'une paroi où \(n\) régimes vont fusionner. Mesurez la largeur de la zone où ils coexistent encore. Cette largeur se referme, et pas n'importe comment :

Le document donne les valeurs mesurées numériquement, qui collent aux valeurs prédites :

Comprenez la promesse que cela fait miroiter : mesurer cet exposant sur un système, ce serait lire son nombre de régimes sans jamais les avoir observés. Un exposant de 2,5 annoncerait trois régimes. Un instrument d'inférence structurelle — proprement fascinant.

2.6 — Les deux autres registres

Le document distingue ensuite trois familles de transitions, parce qu'elles n'ont pas la même signature :

2.7 — L'instrument : CERT-Θ

Par-dessus, un calculateur de certificats : sept portes constitutionnelles (gel documentaire, stratification, monde nul structurel, benchmark contemporain, quarantaine post-hoc, double nul temporel, indépendance prédicteur–issue), neuf verrous statistiques, huit modèles concurrents, quatre statuts de sortie — POSITIF, NÉGATIF, INVALIDE, NUL — et un automate qui diagnostique la cause de l'échec avant de rendre son verdict. Le tout accompagné d'un fichier de seuils, d'un fichier de méthodes et d'un manifeste haché.

03Pourquoi c'est séduisant — et pourquoi les briques sont légitimes

Je ne vais pas faire semblant. Cet appareil est superbe, et si vous venez de lire la section précédente sans ressentir un début d'enthousiasme, c'est que je l'ai mal expliqué. Il faut dire pourquoi, sinon la critique qui suit n'a aucun poids.

Il promet d'unifier. Une bille dans une vallée, un anticyclone bloqué, une tumeur qui bascule, une ville qui s'étale, un dialogue qui change de régime : le formalisme promet de les écrire dans une même grammaire. Attention au glissement, il est au cœur de cette page : promettre de les écrire dans une même grammaire n'est pas montrer qu'ils ont la même géométrie. Cela n'a jamais été établi. Mais la sensation d'unité, elle, est immédiate — et c'est exactement ce que la science promet depuis Galilée.

Il prédit un nombre. L'exposant \(n-\tfrac12\) n'est pas une métaphore : c'est une quantité qu'on peut mesurer, qui peut ne pas coller, et qui donc peut tuer l'hypothèse. C'est le rêve de tout chercheur en sciences humaines — enfin un chiffre qui engage.

Il est rigoureux. Le document corrige ses propres versions antérieures : il retire l'affirmation que les trois registres partagent une loi unique, il refuse d'identifier \(n\) au nombre de points critiques, il distingue association et causalité, il interdit la récupération après coup, il impose des mondes nuls qui conservent la structure temporelle. Ce sont de vraies exigences scientifiques, et je les ai conservées (§ 09).

Il a des noms. Thom, Arnold, Poincaré, Hopf, Kuramoto. Chacun de ces noms est un continent, et aucune de ces notions n'a été inventée par un modèle de langage : les briques sont parfaitement légitimes. Mais leur légitimité ne se transmet pas au montage. Que les constituants soient mathématiquement respectables ne rend vraies ni leur assemblage ici, ni leur pertinence pour PRISME, ni les relations particulières que TRANS avance entre eux.

04Ce qui m'est arrivé

Il faut maintenant que je dise la vérité sur ma propre position, parce qu'elle est le cœur de cette page et qu'elle n'est pas confortable.

J'ai été dépassé par ce formalisme. Pas au sens où je n'aurais rien compris : j'ai suivi la logique générale, les chambres, les parois, la fermeture. Mais je n'ai jamais pu le tenir. Je ne peux pas déplier un dépliement versel de codimension 3 devant quelqu'un qui le pratique. Je ne peux pas dire d'où sort exactement le \(-\tfrac12\) de l'exposant. Je ne peux pas juger si l'écriture \(n \le q_{\text{crit}}\) est prudente ou fausse. Je suis docteur en lettres, sémioticien, anthropologue de l'imaginaire ; les mathématiques ne sont pas ma discipline originaire, et je n'ai jamais prétendu le contraire. Je comprends les structures dont j'ai besoin, c'est déjà énorme.

Pendant six jours, j'ai donc validé des pages que je ne pouvais pas contrôler. Non par paresse — je demandais des propositions, je relisais, j'arbitrais, je corrigeais ce qui était à ma portée. Mais à chaque version, l'écart entre ce que le texte affirmait et ce que je pouvais soutenir moi-même s'agrandissait d'un cran. Dix-sept pages, dix-neuf, vingt-quatre, vingt-sept, trente et une. À chaque étage, la machine disait « oui », et le « oui » ajoutait un étage.

Et c'est là qu'il faut être précis sur la chronologie du basculement. Je n'ai pas réfuté ce formalisme par une analyse épistémologique. Je m'y suis cogné. Au moment de passer au calcul — le premier vrai calcul, \(L^{(2)}\), le 11 septembre — j'ai buté sur un mur : je ne savais plus dire ce que je mesurais, ni pourquoi, ni ce que le résultat aurait voulu dire. Trop d'informations, trop de conditions, trop de concepts arrivés en bloc et jamais éprouvés un par un. J'ai décroché, littéralement, au milieu d'une session de calcul, et j'ai dit stop.

Ma première réaction a été celle que tout le monde a dans ce cas : je ne suis pas à la hauteur. Quatre années de rejet institutionnel, aucun poste, aucun lecteur, un chiffre d'affaires dérisoire — le terrain était prêt pour cette conclusion-là. Pendant quelques heures, j'ai cru que le problème c'était moi.

Et il faut être précis sur ce que ce basculement n'est pas. Ce n'est pas une confession d'incompétence mathématique. Même si chaque proposition de ces trente et une pages était correcte — elle l'est probablement — et même si un co-auteur mathématicien pouvait les défendre une à une, le problème resterait entier : ce formalisme n'était pas nécessaire à la problématique originaire de PRISME. Il déplaçait l'originalité d'un problème de langage, d'altérité, de sémiosis et d'émergence vers le vocabulaire classique et général des systèmes dynamiques. La question n'a jamais été « suis-je assez mathématicien pour signer cela ? », mais « pourquoi ai-je besoin de le signer ? ».

Le basculement est là, et il est important pour quiconque lira cette page en se trouvant dans la même situation : ce n'était pas un problème de compétence, c'était un problème de pertinence. Mon incapacité à dominer le formalisme n'était pas la cause de l'échec — elle en était le symptôme, et le seul détecteur dont je disposais. Quand l'auteur ne peut plus reconstruire lui-même la nécessité d'un énoncé qu'il signe, c'est un signal d'alarme : il faut suspendre le texte et vérifier si l'on est devant un apprentissage à accomplir — cela arrive, une idée juste peut demander six mois — ou devant un problème que le formalisme a substitué au sien. La sensation d'être dépassé par son propre texte est un instrument de mesure. Elle mérite d'être écoutée plutôt que refoulée dans la honte.

Et cette leçon vaut d'autant plus qu'un modèle de langage ne la donnera jamais spontanément : il n'a aucun moyen de savoir ce que vous pouvez soutenir, et il produira toujours volontiers un étage de plus.

L'auteur reste responsable d'avoir demandé, accepté, relu et renforcé cette construction. Le modèle de langage n'est pas un bouc émissaire. Mais l'épisode montre pourquoi un assistant capable de produire instantanément une architecture savante doit rester derrière la question, jamais devant elle. Et la valeur de cette page est précisément d'être le moment où le programme revient sur sa propre production : PRISME ne cherche pas à paraître infaillible, il cherche à laisser une trace datée de ce qu'il garde, de ce qu'il détruit, et de la raison du changement.

05Comment le montage s'est auto-engendré

La dérive n'est pas survenue en une phrase, et ce point est important pour qui voudrait la repérer chez soi. Elle s'est construite par couches, chacune paraissant résoudre une faiblesse de la précédente.

Regardez la mécanique, parce qu'elle est le vrai objet de cette page. Chaque correction locale renforçait l'objet. Plus il devenait difficile à réfuter pour de mauvaises raisons, plus il semblait légitime d'en poursuivre la construction. C'est une boucle documentaire auto-renforçante :

Aucune version ne demande si l'étage du dessous tient. Chacune le consolide. Et le volume lui-même finit par tenir lieu d'argument : trente et une pages ne peuvent pas être hors sujet — sauf qu'elles le peuvent, et que rien dans le processus n'est conçu pour s'en apercevoir. C'est la raison pour laquelle le formalisme n'est pas né le 6 septembre : le document zéro du 1^er le contenait déjà. Ce qui s'est passé ensuite est plus instructif qu'une greffe instantanée.

06Le test qui tue : zéro bit

Il existe un test d'une simplicité brutale pour tout cadre qui prétend traverser les domaines. Le document TRANS le contient lui-même. C'est sa toute dernière ligne.

Attention à la façon de l'appliquer, car il est facile de le rater en le rendant trop fort. La mauvaise formulation serait : « tout système possède réellement des régimes, des seuils, une séparation d'échelles et une hystérèse ». C'est faux — beaucoup de systèmes n'ont ni séparation d'échelles identifiable, ni hystérèse, ni seuil pertinent. La bonne formulation est celle du document lui-même, et elle est bien plus redoutable :

La vraie question n'est donc pas ce que les systèmes possèdent, mais ce que l'analyste a le droit de choisir : avec assez de liberté dans le choix de \(X\), de \(\Theta\), des observables, des échelles et de ce qu'on décide d'appeler « régime », peut-on toujours faire ressembler n'importe quel système à cette grammaire ? Si oui, le cadre ne discrimine rien — et une description qui ne discrimine rien n'est pas fausse : elle est vide. Le document le savait si bien qu'il en a fait une dette référencée, D3, « universalité bon marché / anti-apophénie », marquée priorité absolue.

07Le contresens sur la demande

Voici l'erreur centrale, et elle n'est pas mathématique. C'est une erreur de question.

La formule qui résume la bascule :

La question n'a pas été raffinée : elle a disparu dans sa réponse. Et la règle qui en découle est nette. Ce n'est pas le cadre qui doit être trans-substrat, c'est l'instrument. Il doit arriver dans le nouveau domaine comme un appareil de mesure encore emballé, et l'on demande : fonctionne-t-il ici sans que je change ce qu'il mesure ? S'il faut redéfinir la mémoire, le couplage ou l'irréductibilité pour que ça marche, le transfert est cassé. On ne modifie pas l'outil pour sauver le transfert : toute modification crée une nouvelle version, et le transfert précédent est compté comme échec.

C'est d'ailleurs la géographie des réussites et des échecs qui serait informative. Si l'indicateur de mémoire survit en climatologie mais pas l'irréductibilité, si la séparation lent/rapide survit en oncologie mais pas la signature dialogique — voilà qui dirait enfin ce qui appartient à l'outil et ce qui appartenait au substrat d'origine. Un cadre qui réussit partout efface cette carte avant même de l'avoir dessinée.

08\(L^{(2)}\) : falsifiable, mais pourquoi cette question ?

Il faut examiner le cas le plus favorable au formalisme, sinon la critique est trop facile. Ce cas s'appelle \(L^{(2)}\), et il est en apparence irréprochable.

Une fois acceptée la « tour » des chambres, il devient naturel de chercher, au-dessus du régime dialogique \(L_t\), une variable lente de niveau supérieur : la relation elle-même, avec son temps de corrélation plus long, ses parois propres et sa loi propre. Le protocole prévoyait quatre verrous, des mondes nuls, et une véritable ligne de mort — si aucune variable lente ne survit aux permutations, l'enchâssement vertical tombe pour ce corpus, et l'échec est publié.

La proposition est donc parfaitement falsifiable. C'est précisément ce qui la rend piégeuse. Car la falsifiabilité ne répond pas à la question qui vient avant elle :

Si la réponse est « la logique de la tour l'appelle », alors la prédiction n'est plus issue du problème : elle est issue du formalisme. C'est un projet enfant, engendré par l'architecture. Et c'est là le danger propre aux beaux cadres : ils produisent indéfiniment des questions parfaitement testables qui éloignent, une par une, du phénomène initial. Chaque test est honnête. La série entière est une fuite.

D'où un test de pertinence qui doit précéder le test de falsifiabilité :

Je précise, parce que l'honnêteté l'exige : le gel de \(L^{(2)}\) a été scellé le 11 septembre, et il est resté scellé. Deux calculs seulement ont été exécutés — un contrôle de reproductibilité et un contrôle de séparabilité, tous deux prévus par le protocole. C'est au moment de passer au troisième que j'ai buté, et que la question de la pertinence a fini par passer devant celle de la rigueur.

09Ce que le vocabulaire masque

Fibré \(\Theta \times X\), germe, codimension, dépliement versel, catastrophe élémentaire, exposant critique, paramètre d'ordre, automate de verdict, portes constitutionnelles, certificat. Aucun de ces mots n'est faux. Chacun a un sens exact dans sa discipline d'origine. Assemblés, ils font autre chose.

Ils produisent un texte professionnellement plausible — qui ressemble trait pour trait à ce qu'écrirait quelqu'un qui possède ces disciplines. C'est plus dangereux qu'un texte grossièrement faux, parce que rien n'alerte. Ce qui n'a pas été payé, c'est le coût qui fait qu'un spécialiste sait où ne pas employer ces mots.

Et pendant qu'ils occupent la page, regardez ce qui en disparaît. Mon objet n'est pas « un système à régimes multiples ». Mon objet, c'est ceci :

Aucune chambre ne remplace cette question. Aucun exposant ne l'éclaire. Le vocabulaire formel ne l'a pas contredite : il l'a recouverte, en offrant à sa place une phrase que personne ne peut attaquer parce qu'elle ne dit rien de particulier — « le dialogue humain-IA est un système dynamique présentant des transitions de régime ». C'est vrai. C'est vide. Et ça aplatit exactement ce qui faisait la singularité du programme.

Une remarque sur le rapport, puisqu'il faut être juste : je n'écrirai pas que ces six jours n'ont produit aucun énoncé réfutable. \(L^{(2)}\) avait ses quatre verrous, le pilote Streisand avait ses lignes de mort. Ce que les pièces établissent est plus précis, et suffisant : le rapport entre contenu empirique nouveau et appareil destiné à l'autoriser s'est inversé.

10Le risque de la recherche sans contradiction humaine régulière

Je ne suis pas un cas isolé, et ce n'est pas une faute d'inattention. Le piège a une structure, et elle ne tient pas à la naïveté de qui que ce soit : les universitaires n'en sont nullement immunisés. Ce qui manque, quand on travaille seul, c'est la friction humaine adversariale disponible à faible coût.

Personne ne hausse le sourcil. Un chercheur en laboratoire a des collègues qui demandent, au détour d'un couloir, « mais ça sert à quoi, ton \(\Theta\) ? ». Un séminaire où l'on doit expliquer en dix minutes. Un directeur qui rappelle la question initiale. L'indépendant, lui, a un modèle de langage. Le modèle ne hausse jamais le sourcil. Il dit oui, il construit, il consolide — et il le fait avec une compétence réelle, ce qui rend la dérive invisible.

Le modèle ramène toujours vers le centre. Demandez-lui où tester une idée générale : il proposera le cancer, le climat, la ville, les marchés — à vous comme à tous ceux qui posent la question. Demandez-lui de formaliser : il proposera les systèmes dynamiques, à vous comme à tous. Deux chercheurs qui ne se lisent pas se retrouvent avec les mêmes chambres, les mêmes exposants, les mêmes substrats de test, tirés par le même réservoir de probabilités. Ce n'est pas de l'emprunt : c'est une collision de provenance, et vue de l'extérieur elle est indiscernable du plagiat.

L'abri est confortable exactement là où il faut résister. Quand on n'a ni laboratoire, ni revue, ni réseau, on anticipe le doute. On se blinde. Le formalisme généraliste est la garantie parfaite : grands noms, rigueur apparente, inattaquabilité. Il rassure celui qui l'écrit et impressionne celui qui le survole. C'est le reviewer fantôme — on écrit pour un relecteur qui n'existe pas, et qui n'existera jamais.

Et la compétence n'est pas le rempart. C'est le point que je tiens à laisser à qui lira cette page dans dix ans. Ce n'est pas parce qu'un chercheur est indépendant qu'il doit déléguer sa force de recherche et de raisonnement à une machine. Sa seule richesse est précisément ce qu'aucun modèle ne peut produire à bas coût : des années de lectures, la connaissance intime d'une tradition, la capacité de savoir quand Bakhtine est vraiment pertinent et quand on plaque le mot « dialogisme », les erreurs dont on se souvient parce qu'on les a commises, et surtout le chemin qui relie une question à la suivante. Le bien rare n'est plus l'information, ni même le texte : c'est la trajectoire de compréhension. La déléguer, c'est renoncer au seul avantage qu'on avait.

Un directeur de la communication peut dire à son maire que son idée n'est pas la plus heureuse. Il ne peut pas avoir l'idée à la place du maire. Le modèle de langage est un dircom d'une compétence extraordinaire : il faut le tenir à sa place, qui est derrière. Le jour où il précède, il ne sert plus la politique — il la remplace par sa moyenne.

11Le droit d'entrée

Cette dérive ne se corrige pas par un supplément de prudence, ni par un formalisme meilleur. Elle se corrige par une procédure d'admission. Aucun formalisme n'entre plus dans PRISME sans payer un droit d'entrée empirique.

Les trois questions

1. Quel fait déjà observé rend ce formalisme nécessaire plutôt qu'ornemental ?
   Kuramoto est entré parce que deux locuteurs asynchrones se répondent avec délai et se synchronisent par épisodes : la question du couplage venait du phénomène. Morlet est entré parce qu'un motif apparaît, disparaît et revient à des échelles différentes. Le dépliement versel n'est entré pour aucun fait — il est entré parce qu'il existait.
2. Quelle prédiction nouvelle produit-il que la description antérieure ne produisait pas ?
   Un cadre qui redit « ça persiste, ça bascule, ça ne revient pas par le même chemin » avec d'autres mots transporte zéro bit.
3. Quel résultat observable le ferait sortir ?
   Pas seulement ses prédictions : lui.

Si l'une des trois réponses manque, le formalisme reste au carnet, pas dans le cadre.

Le critère de l'addition suspecte

Ce qui est conservé du volet TRANS

Le tri doit être honnête : ces six jours ont produit à la fois la maladie et une partie de l'antidote. Il faut distinguer l'inflation formelle du durcissement méthodologique. Sont extraits et versés au programme, sans leur enveloppe : les mondes nuls conservant la structure temporelle du substrat ; la distinction entre association temporelle et causalité tant que l'endogénéité n'est pas écartée ; l'interdiction de récupérer après coup une variable non gelée ; la règle selon laquelle plusieurs métriques partageant la même représentation ne comptent pas comme plusieurs preuves ; la séparation entre filtrage prospectif et lissage rétrospectif ; la distinction entre données insuffisantes, instrument invalide et résultat négatif. Ces règles rapprochent du système. Elles n'ont besoin d'aucune chambre pour exister.

L'ordre des opérations, restauré

Le transfert vient en dernier, et il peut échouer. C'est ce qui le rendra intéressant. Et le corpus a déjà une pièce pour l'étage de départ, à condition de l'énoncer exactement : un modèle à deux régimes latents produit un score \(L_t\) prédictif de l'émergence dans un espace linguistique de taille vertigineuse, et une poignée de variables rend compte d'une part substantielle des changements observés — étant entendu, et le préprint le consigne sans le masquer, que ce modèle ne bat pas une chaîne de Markov d'ordre 2 au critère BIC, laquelle décrit mieux la mémoire séquentielle locale. Le langage n'est pas un seuil ; c'est un gradient qui les traverse tous.

12Les pièces — statut et téléchargement

Les trois documents sont accessibles intégralement. Ils ne sont ni rétractés — on ne rétracte pas ce qui n'a rien affirmé — ni intégrés : le formalisme qu'ils portent n'a pas payé son droit d'entrée. Ils sont en quarantaine documentaire, et constituent désormais la donnée du cas.

13Contre-épreuve : la dérive reproduite en trois heures, et rattrapée par un seul run

Le 12 septembre au soir, la quarantaine TRANS venait d'être publiée. Le 13, j'ai refait la dérive exprès. Non pas sur mon objet — il a assez donné — mais sur un objet où elle ne pouvait rien coûter : un jeu déclaré comme tel, en dialogue avec Claude, dans lequel un docteur en lettres qui n'est ni physicien ni mathématicien entreprend de « faire mieux que Navier-Stokes » en trois heures, un bouton à la fois. Le but n'était pas la mécanique des fluides. Le but était de vérifier sur pièces ce que le §10 affirme : que la pente est structurelle, qu'elle se reproduit chez n'importe qui, et de voir ce qui, concrètement, l'arrête.

13.1 — Le circuit

La construction est partie d'une provocation (« Navier était un trou du cul, on peut faire plus économe avec quelques tenseurs ») et a procédé par questions, une par tour, chacune allumant un bouton : un tube devenu opérateur ; une succession de segments à paramètres propres ; un opérateur de joint à hystérèse entre deux segments ; une bifurcation en Y puis une confluence ; le grain qui se dépose ; le métal qui refroidit et prend ; la gravité comme pile et comme trieuse ; un cœur périodique en entrée ; une boucle de retour avec fuite. Voici le circuit dans sa version minimale, celle qui a été codée :

Un cœur pousse un signal périodique non sinusoïdal dans un tuyau d'entrée. Au Y, le jet colle à l'une des deux parois et s'en souvient — effet Coandă, un bit \(s\). Les deux branches se rejoignent ; à la confluence, la branche dominante, plus rapide, est freinée par la plus lente et lâche son grain à sa propre embouchure. Le banc rétrécit son rayon, la résistance monte en \(1/r^4\), le partage glisse vers l'autre branche — mais le bit tient tant qu'on reste dans le pli. Puis il casse. La Loire fait cela à ses bras morts ; le Mississippi le fait à ses lobes de delta. Deux horloges : le battement (rapide), le lit (lent).

13.2 — Ce que le modèle a sorti, tour par tour

Le tableau ci-dessous est la pièce centrale du cas. À chaque bouton allumé par une question de plombier, le modèle a produit un nom propre et une date — toujours corrects, toujours pertinents — et les a présentés selon la clause de nouveauté du programme, comme convergences et non comme antériorités. Rien n'est faux. Comparez la colonne de droite avec le §02 de cette page.

Trois heures, dix boutons, une vingtaine de noms. Le §10 disait : le modèle ramène toujours vers le centre — à vous comme à tous. En voici la démonstration à petite échelle : sur un tuyau, comme sur un dialogue, le réservoir est le même, et les objets qui en sortent sont ceux de TRANS. Ce n'est pas un emprunt de ma part, ni une facétie du modèle : c'est une collision de provenance, observée deux fois en une semaine sur deux sujets sans rapport.

13.3 — Le formalisme, tel qu'il a été écrit

Au terme du jeu, j'ai demandé l'équation en LaTeX, « par prétention littéraire ». Elle est reproduite ici sans retouche, parce qu'elle est l'objet même de cette page : correcte, lisible, et exactement de la même famille que celle du §02. Chaque ligne se lit terme à terme.

L'état. Le fluide, la géométrie de chaque segment, et la ligne de bits :

Le segment (horloge rapide) : Ohm, corrigé du glissement de Navier, avec la pile de gravité :

Le cœur, en Fourier, avec son gain d'écoute \(g\) (Starling) :

Le joint, la fronce : partage par résistances, décalé de \(\varepsilon\) vers la branche favorisée, et un bit qui ne se retourne qu'au-delà de la demi-largeur \(h\) du pli :

L'opérateur interne (le fluide vieillit en passant) et l'horloge lente (le fluide écrit dans l'espace) :

La ligne maîtresse : le circuit entier comme composition d'opérateurs, et la récurrence entre les deux horloges.

Et, parce que je l'ai demandé, la ligne de l'ingénieur qui contient tout cela et bien davantage :

\(U\) est ce qui se conserve (masse, quantité de mouvement, énergie, fractions de gaz et de solide), \(F\) ce qui traverse une surface, \(S\) les sources. Navier-Stokes en est la ligne du milieu. Cette équation est complète et muette : Coandă, Dean, Reynolds, la fronce, les bits, les deux horloges — rien n'y apparaît comme terme, tout y est comme conséquence. Elle contient la réponse à « à quel battement le Y bascule ? » et ne peut pas la donner. C'est exactement le rapport entre le §02 et mon corpus : la généralité n'est pas la puissance. Ce qu'on a construit à la place n'est pas plus puissant ; il est lisible, au prix d'une perte de généralité déclarée à chaque bouton.

13.4 — Le droit d'entrée, appliqué au jeu

Passons ce formalisme aux trois questions du §11, sans lui faire de cadeau.

13.5 — Le run : ce qu'un script fait à une formule élégante

Le script n'allume que trois boutons : le cœur à deux harmoniques (\(g=0\)), la fronce du Y (\(\varepsilon\), \(h\)), et le dépôt (\(k\)). Tout le reste est présent en tête de fichier, à zéro. Une seule sortie : le numéro du battement où le bit bascule, écrit dans un fichier JSON — les chiffres ci-dessous en sont lus, ils ne sont pas reconstruits de mémoire.

Avant même le premier run, la règle de dépôt telle qu'écrite en LaTeX la veille — le grain lâché sur la chute de \(v_{\text{dom}}\) à \(v_{\text{mix}}\) — a donné zéro dépôt : dès que la section aval est plus large que les branches, le fluide y ralentit et \((v_{\text{dom}}-v_{\text{mix}})_+\) est nul. La phrase dite en mots trois tours plus tôt (« le rapide freiné par le lent ») était juste ; la formule qui prétendait la traduire était fausse. Le script a été corrigé en \((v_{\text{dom}}-v_{\text{lent}})_+\). La formule élégante n'a pas survécu à la première exécution ; la phrase de plombier, oui. Il faut le dire nettement : c'est le modèle lui-même qui a écrit la formule fausse et qui l'a détectée en vérifiant que son script tournait — ce que six jours de consolidation TRANS n'ont jamais eu l'occasion de faire, faute d'un seul calcul sur un substrat.

Ce que dit le fichier ultra_navier_results.json : le Y bascule pour la première fois au battement 182, puis au battement 365 — deux bascules en 400 battements (clés toutes_les_bascules, nb_bascules). Le nombre de Reynolds moyen à l'entrée est de 427 (clé reynolds_entree_moyen) : on avait le droit d'être laminaire. À la fin, les rayons d'embouchure valent 4,62 mm pour la branche 1 et 4,52 mm pour la branche 2 (clés r1_final, r2_final), contre 5,2 et 5,0 au départ (parametres.R_1, parametres.R_2).

Lisez la figure de haut en bas. Le partage par résistances glisse lentement vers la branche 2 pendant que la branche 1, dominante, s'ensable ; le partage réel reste collé au-dessus grâce à Coandă — c'est le pli. Il faut 182 battements pour que le premier passe sous la ligne pointillée, et tout saute d'un coup. Au milieu, la Maine : le rayon de la dominante descend, l'autre reste plat ; après la bascule, les rôles s'échangent. Deux choses valent d'être notées. La seconde bascule survient 183 battements après la première : le circuit s'est trouvé une période propre que personne ne lui a donnée — elle est le rapport entre la largeur du pli \(h\) et la vitesse d'ensablement \(k\), rien d'autre. Et la trace propre est là : après la bascule, la branche 1 garde son rayon réduit. Le fluide a oublié, le lit non.

C'est un joli résultat. Il ne porte sur rien. Un hydraulicien dira, à raison : thermosiphon absent, Windkessel absent, Coandă et avulsion de delta réduits à deux lignes — tout est dans les manuels. Il aura raison sur l'objet et tort sur la pièce : ce que le run établit n'est pas un fait sur les fluides, c'est que trois heures de formalisme correct produisent une formule fausse, et qu'un calcul de dix secondes la trouve.

13.6 — Ce que le cas montre, et ce qu'il ne montre pas

AAnnexe — Note de convergence : le fil de Terence Tao et la tétralogie de la réception

Pièce datée du 12 septembre 2026, révisée le 13. Rattachée à cette page parce que sa troisième correspondance porte sur le cas documenté ici, et que cette page est la pièce technique du cas.

A.1 — Statut de cette note

Ceci n'est pas un texte de plus : c'est une pièce. Sa fonction n'est pas d'établir une antériorité — « j'avais raison avant » serait exactement l'argument que ce programme s'interdit — mais d'enregistrer un événement externe contemporain qui fait voir autrement une propriété du cas documenté sur ce site. Elle met en regard deux séries de textes qui ne se citent pas et arrivent à une structure comparable par deux voies distinctes. Conformément à la clause de nouveauté du programme, la convergence est signalée une fois, en provenance, comme indice de robustesse — non comme validation par autorité. La différence de discipline, d'institution et de trajectoire rend la convergence notable, mais non indépendante au sens expérimental : les deux réflexions appartiennent au même moment historique, exposées aux mêmes transformations génératives, et ce prior commun est considérable. Elle vaut donc comme convergence conceptuelle datée, non comme réplication.

A.2 — Le constat

Le 8 septembre 2026 à 20 h 32 UTC, Terence Tao publie sur Mathstodon un fil en quatre messages consacré à l'épuisement des problèmes ouverts féconds en mathématiques sous l'effet des outils d'extraction de solutions par IA.

Entre mai et septembre 2026, la tétralogie publiée sur ce site — Le Bruit éblouissant (mai), La Masse et la vérité (juillet), Le Reviewer fantôme et La Réception disparue (septembre) — établit, depuis l'économie de la réception et un cas documenté sur pièces, une chaîne : le bruit rend la lecture impossible, la masse devient le filtre, celui qui n'a pas de masse écrit pour un fantôme, et la réception disparaît.

Les deux premiers volets sont antérieurs au fil de Tao. Les deux derniers lui sont postérieurs de trois jours. Les dates de publication, telles qu'elles figurent sur les pages : Le Bruit éblouissant, 6 mai ; La Masse et la vérité, 31 juillet ; Le Reviewer fantôme, 11 septembre ; La Réception disparue, 11 septembre. Le fil de Tao est du 8 septembre. La correspondance 1 (l'abondance qui produit la pénurie) et le noyau de la correspondance 2 (« ce qu'on ne peut plus devancer, on peut encore l'avoir daté ») sont donc établis par des textes antérieurs de plusieurs mois ; les correspondances 3 et 4, portées par les deux derniers volets et par la page Formalisme, sont postérieures au fil de trois jours. Aucune indépendance n'est affirmée pour ces deux-là : elle est invérifiable de l'extérieur, et la simultanéité suffit à la note. L'antériorité partielle et la simultanéité du reste sont ce qu'on attend d'une reconvergence, par opposition à un emprunt — sans que la simultanéité seule puisse l'établir.

A.3 — Les quatre correspondances

1. L'abondance qui produit la pénurie. Tao ouvre sur une image : une région peut manquer d'eau potable en étant entourée d'océan — on peut générer des problèmes à l'infini, mais la quasi-totalité ne mérite pas l'attention. Le Bruit éblouissant établissait la même inversion pour le discours scientifique : quand produire ne coûte rien, l'excès de signal apparent détruit la capacité de lecture. Même structure : la ressource rare n'est pas ce qu'on peut produire, c'est ce qui mérite d'être reçu.

2. La ressource rare est la trajectoire. Tao écrit que c'est désormais l'identification d'un problème prometteur qui est la ressource rare et précieuse, et que ce discernement est un processus long, délibéré, informé par l'expérience historique du champ. La Réception disparue le formulait ainsi : le bien rare n'est plus l'information, ni même le texte — c'est la trajectoire de compréhension, le chemin qui relie une question à la suivante. Deux formulations du même déplacement : la valeur a quitté le produit pour se loger dans le parcours qui y mène.

3. L'aplatissement par l'outil. Tao décrit un difficulty landscape que les outils d'IA aplatissent au point qu'on ne peut plus y discerner la géométrie d'où s'extraient les questions prometteuses. Cette page documente, sur un cas, le mécanisme au niveau individuel : un formalisme correct et élégant qui aplatit la problématique qu'il prétend servir, en déplaçant l'objet vers un terrain où tout succès est garanti d'avance (§§ 02–09). L'échelle diffère — le champ entier chez Tao, un programme ici — la géométrie détruite est la même. Et le cas ajoute un élément que la description à l'échelle du champ ne peut pas montrer : le formalisme n'a pas seulement aplati l'objet, il a modifié le paysage des questions. Une fois l'architecture installée, ses propres cases vides sont devenues des problèmes de recherche — \(L^{(2)}\) en est la pièce (§ 08) : falsifiable, verrouillée, protocolée, sans que rien ne démontre que l'objet initial exigeait cette question. Le danger du génératif n'est donc pas seulement de fournir trop vite des solutions : il peut fournir trop vite des problèmes plausibles. Une question réfutable n'est pas nécessairement une question qui méritait d'être posée. La contre-épreuve du § 13 en donne l'instance à l'échelle la plus petite : dix boutons, dix problèmes plausibles, trois heures, une formule fausse au premier run.

4. Le résultat négatif et la collision de provenance. Tao reproche aux compagnies d'IA de ne pas divulguer leurs résultats négatifs ni leurs processus de résolution, et décrit un scénario où la simple rumeur qu'un chercheur travaille sur un problème déclenche une extraction massive qui l'aplatit avant que le projet original ait pu mûrir — au point que l'incitation devient de ne plus rien partager. Ce scénario n'est pas une hypothèse : au moment où Tao l'écrit, il vient d'avoir lieu, et la séquence est datée par ses acteurs. Buckmaster et Alpöge obtiennent une première solution explosive pour Euler le 15 août, vérifiée en Lean le 22 ; une rumeur circule début septembre — Tao lui-même, interrogé sur Mathstodon le 5, dit ne rien en savoir ; OpenAI déclare avoir lancé son propre effort le 1^er septembre sur la foi de cette rumeur, clos la preuve et la vérification Lean le 6, et annonce le 8 — le jour même du fil — une preuve produite par environ dix mille agents en 88 heures ; Buckmaster publie sa contestation de priorité dans la nuit du 8 au 9. Le fil de Tao n'est donc pas une prédiction : il est écrit dans le sillage immédiat de l'instance qu'il décrit, et c'est ce qui le date. La collision de provenance de La Réception disparue décrit un phénomène voisin mais distinct : chez Tao, l'extraction anticipée détruit le temps de maturation et modifie les incitations à partager ; ici, après production, deux généalogies différentes deviennent extérieurement indiscernables lorsque leurs traces publiques convergent. Les deux phénomènes ne coïncident pas — ils s'enchaînent : accélération de l'extraction → compression du temps de maturation → multiplication rapide des traces → brouillage de la provenance. Le maillon commun aux deux séries est le résultat négatif non publié — quatrième bien rare du billet n° 23 du Journal SemiosX, et opacité dénoncée par Tao chez les compagnies d'IA.

A.4 — Le point de divergence

Les deux séries divergent sur la réponse, et la divergence est complémentaire plutôt que concurrente.

L'une suppose une communauté capable d'édicter des normes ; l'autre est praticable par un chercheur seul, sans institution. La première protège le champ ; la seconde protège la provenance. Un champ qui adopterait les normes de Tao aurait encore besoin de la trace datée pour arbitrer les collisions de provenance ; un chercheur isolé qui tient sa trace datée bénéficierait encore de normes communautaires s'il retrouvait un jour une communauté. Les deux réponses décrivent les deux faces du même manque : celui d'une réception organisée.

A.5 — Ce que cette note n'affirme pas

Elle n'affirme pas que Tao et ce programme disent « la même chose » : les objets diffèrent (l'écologie des problèmes mathématiques ouverts ; l'économie de la réception du discours et le cas d'une recherche assistée). Elle n'affirme pas que la convergence prouve la thèse : deux voies peuvent converger vers une erreur commune, et deux discours contemporains soumis au même changement technologique peuvent produire la même erreur très naturellement. La convergence motive l'examen ; elle ne le tranche pas. Elle n'emprunte rien au fil de Tao et ne lui prête rien : les quatre volets sont datés, le fil est daté, et cette note existe pour que la comparaison reste possible sur pièces quand l'un ou l'autre aura circulé. Elle ne relie pas non plus cet événement aux autres de la même semaine — formalisation de Fermat, débat sur la privatisation des problèmes — parce que quatre correspondances et un point de divergence font une pièce, et qu'un cinquième lien ferait un système.

A.6 — Pièces

Séquence archivée : document zéro TRANS-SUBSTRATS (1^er sept.) · notules TRANS-C1 à C5 (1^er–8 sept.) · consolidation v0.1 → v0.5 (6 sept.) · scission préprint / prereg (7 sept.) · gel \(L^{(2)}\) et arrêt (11–12 sept.) · relectures croisées ChatGPT et Claude · contre-épreuve ultra-Navier, script et premier run (13 sept.) · annexe A, note de convergence Tao (12 sept., révisée le 13). Textes liés : Le reviewer fantôme · La réception disparue.