Comment trouver les restes avec l’IA

Une machine à construire, pas un sujet qui cisèle

La critique la plus puissante reste celle de deux personnes capables de se reconnaître et de se contredire sans se réduire. Elle est aussi rare, coûteuse et affectivement difficile. L’IA offre autre chose : un miroir presque inépuisable de formulations, d’arguments, de contre-exemples et de modèles. Elle amplifie extraordinairement la construction, mais n’amplifie pas d’elle-même l’acte de ciseler. La direction vient du sujet ; la machine agrandit la surface réfléchissante.

Il faut donc entrer dans la conversation avec une intention précise : exposer l’endroit où sa propre construction est fragile. Demander une confirmation produit une décoration. Demander ce qui manque, ce qui contredit et ce qui devrait être sacrifié peut faire apparaître un reste. Lorsque la conversation tourne en rond, on la quitte : marcher, dormir, changer de modèle ou retrouver un humain n’élimine pas le reste, mais restaure la capacité de le voir.

Six formes de question

La grammaire de la demande fixe généralement le plafond dominant de la réponse. Du niveau le plus bas au plus haut :

• 1DD–4DD : « X implique quoi ? » — cohérence et conséquence.
• 5DD–12DD : « Comment atteindre X ? » — optimisation instrumentale.
• 13DD : « Je veux A, donc j’envisage B » — situation d’un sujet singulier.
• 14DD : « Mon but est A ; B le sert-il vraiment ? » — ancrage de la fin.
• 15DD : « Étant donné la fin d’autrui, que ne puis-je pas ne pas prendre en compte ? » — contrainte structurelle.
• 16DD : « Je poursuis A, l’autre poursuit B ; que devons-nous faire ensemble sans abolir aucun des deux ? » — hypothèse de coordination.

Ce principe d’isomorphie question-réponse n’est pas une thèse sur la conscience de l’IA. Un modèle a lu des textes de tous ces niveaux ; il peut exceptionnellement dépasser le cadre initial. Mais une question instrumentale n’extrait pas de façon stable et reproductible les restes d’un conflit entre fins. Le cadre active une famille de réponses et laisse les autres à l’arrière-plan.

Ce que garantit ZFCρ

La formalisation ZFCρ donne trois garanties structurelles. Premièrement, pour toute opération de formalisation C sur un domaine U, ρ(C,U) ≠ ∅ : le reste n’est jamais vide. Deuxièmement, deux opérations différentes produisent des restes différents ; changer de formulation ou de niveau DD n’est donc pas cosmétique. Troisièmement, le contenu de ρ_n restreint les opérations suivantes à un ensemble F(ρ_n) non vide : le reste a une direction et rend une prochaine formalisation possible.

Cette existence n’est pas accessibilité. Le théorème ne promet pas qu’un utilisateur donné, à un instant donné, saura reconnaître l’opération suivante, ni que le modèle présent saura l’exécuter. Il distingue une limite structurelle d’une fatigue locale.

Deux sens de « pour l’instant »

Un reste est relatif à la formalisation choisie : ce qui demeure invisible à 12DD peut apparaître à 14DD. C’est le pour l’instant épistémique, que l’on déplace en changeant de question. Mais la non-vacuité de ρ demeure sous toute formalisation : c’est le pour l’instant ontologique. On peut traiter un reste particulier ; on ne peut supprimer le fait qu’il y aura du reste.

Confondre ces deux niveaux conduit soit au progressisme naïf — tout finira par être connu — soit au nihilisme — rien ne peut être connu. La position méthodologique est plus exigeante : beaucoup d’inconnues sont déplaçables, mais aucune vision n’épuise son domaine.

La condition subjective : ne pas douter de son geste

La coopération avec une machine ne demande pas un non-doute mutuel, puisque l’IA ne doute pas au sens subjectif. Elle demande un non-doute dirigé vers soi : « je suis ici pour éprouver ma construction, non pour obtenir des compliments ». Cela signifie livrer le point qui pourrait réellement faire mal. Une séance brillante qui ne dérange aucune croyance préalable est probablement une séance d’ornement.

L’ignorance consiste à ne pas absolutiser le niveau actuel de la question. L’arrogance consiste à ne pas se laisser coloniser par la fluidité de la réponse. L’utilisateur sait mathématiquement qu’un reste existe, même lorsque le texte semble achevé.

Un flux de travail praticable

1. Demander à un premier modèle, au niveau 14DD, d’évaluer des moyens à partir de la fin déclarée.
2. Nommer ce que la réponse exclut, surtout les sujets affectés.
3. Soumettre ce point à un second modèle au niveau 15DD : quelles contraintes deviennent incontournables ?
4. Revenir au premier : quelle prémisse doit être abandonnée pour intégrer ces contraintes ?
5. Si deux fins indépendantes entrent en conflit, générer à 16DD des candidats d’action commune, puis les éprouver auprès des vrais sujets.

Une réponse de niveau 16DD n’est jamais l’action commune elle-même : elle n’est qu’une hypothèse, car seule la rencontre réelle de deux sujets peut produire C. On clôt provisoirement la séance lorsque l’inconnu est structuré : ce que nous ignorons, les directions tentées, pourquoi elles ne ferment pas. La formule utile est : « Mon but est X. Que ne puis-je pas ne pas faire ? Si tu n’as plus de contrainte nouvelle, décris précisément ton ignorance. » La conversation s’arrête ; le problème, lui, garde son reste.