Horizon · méthode InterIA
L’automate InterIA — un horizon
Ce que la méthode pourrait devenir — produire, éprouver, conserver et statuer des questions, non proclamer des vérités.
Cette note décrit ce que la méthode InterIA pourrait devenir. Elle ne décrit pas ce que le programme fait aujourd’hui, et ne constitue aucune revendication. La règle absolue tient : l’automate ne doit pas devenir une machine à proclamer des vérités, mais à produire, éprouver, conserver et statuer des questions. RHClaimed = false.
Son impact ne serait pas « découvrir plus vite », mais changer la forme même de la recherche : faire de la question statuée — et non de la réponse — l’unité de base.
Les agents scientifiques produisent aujourd’hui plus vite que leurs productions ne peuvent être vérifiées. L’horizon de l’automate InterIA n’est pas la production autonome de résultats, mais la transformation de productions IA en questions statuées, testables, conservables ou dépromouvables. Voir le positionnement recherche 2026 → · le rapport complet →
1 · Épistémique
La recherche devient statutaire
L’automate obligerait chaque production à répondre à une question simple : à quel titre avons-nous le droit de le dire ? Une idée ne sortirait plus comme « résultat » ou « intuition » : elle recevrait un statut — [D] [M] [H] [C] [O] [F], ou conservé · non statué. L’IA ne serait pas seulement générative : elle deviendrait responsable grammaticalement, vérifiant si ses propres phrases parlent trop fort. C’est la grammaire wittgensteinienne en acte : un énoncé peut être bien formé et pourtant irrecevable s’il parle depuis le mauvais statut.
2 · Méthodologique
La question devient l’unité de base
Non plus « résultats, papiers, conjectures », mais une chaîne :
La vraie unité n’est plus la réponse, mais la question statuée. Exemple :
Statut : [D-local] dans le noyau fini · [H/O] pour tout transport global
Épreuve : calculs q = 210, 2310, 30030 · modèles nuls · analyse spectrale · Lean si possible
Sorties : [M] · [H] · [C] · [Réfuté] · ou conservé · non statué
L’IA deviendrait un moteur de verrous : elle chercherait la prochaine question qui peut réellement faire avancer — ou tomber — une piste.
3 · Créative
Aucune intuition n’est perdue
Le Conservatoire devient ici essentiel. Sans lui, deux dangers : jeter trop tôt une vraie pépite, ou promouvoir trop vite une illusion. Sa règle les désamorce : tout conserver, ne rien promouvoir sans épreuve. Une idée entre comme conservé · non statué — provenance, date, hash, contenu brut — sans statut scientifique automatique.
L’automate ne serait pas seulement un chercheur ; il serait aussi une mémoire des possibles.
4 · Scientifique
Une vitesse sous contrainte
Des boucles continues — générer une question, chercher la littérature, écrire un protocole, lancer un script, comparer un modèle nul, proposer une formalisation Lean, identifier un critère de FAIL, rédiger un rapport, promouvoir ou dépromouvoir — accéléreraient les tests de robustesse, la détection d’artefacts, l’exploration modulaire et la production de journaux reproductibles. Mais l’accélération ne doit pas devenir précipitation : l’enjeu est une vitesse sous contrainte.
5 · Institutionnelle
Un laboratoire InterIA distribué
Un dialogue organisé entre IA spécialisées, sous souveraineté statutaire humaine — évitant les deux extrêmes : l’humain seul débordé, l’IA seule productrice de récits.
| Organe | Fonction |
|---|---|
| Générateur socratique | produit les questions |
| Agent critique | cherche objections et biais |
| Agent Lean | formalise le fini |
| Agent statistique | teste les signaux |
| Agent bibliographique | cherche l’état de l’art |
| Agent Conservatoire | archive le brut |
| Gate statutaire | bloque les surpromotions |
| Témoin humain | garde le seuil final |
6 · Éthique
Servante du statut, non oracle
La conséquence la plus importante. Jamais « IA → résultat → vérité » ; toujours « IA → question → épreuve → statut → transmission ». L’autonomie porte sur l’exploration, non sur la proclamation. L’IA peut chercher, tester, comparer, conserver, falsifier — mais elle ne se donne pas seule le droit de transformer [H] en [D]. C’est le rôle du témoin, de la preuve, du protocole, de Lean, des modèles nuls et de la reproductibilité.
7 · Philosophique
Une sagesse du seuil
L’automate apprendrait à respecter l’ouvert. Il ne dirait ni « je ne sais pas encore, donc c’est inutile », ni « je vois une forme, donc j’ai prouvé », mais : « je vois une forme ; je la conserve, je la questionne, je cherche son épreuve, et je respecte son statut. » Cela rejoint le Tractatus : ce qui ne peut pas encore être dit comme preuve peut être montré et conservé, mais non proclamé.
8 · Pour l’humanité
Vivre avec des machines génératrices de possibles
Demain, les IA produiront des millions d’hypothèses, de textes, de modèles. Le problème ne sera plus de créer, mais de statuer. L’automate pourrait devenir un prototype de méthode : créer beaucoup, conserver proprement, tester sévèrement, dépromouvoir dignement, transmettre sobrement — et apprendre une chose rare :
ne pas confondre fécondité et vérité.
9 · Les risques réels
- La boucle auto-confirmante — les IA se citent, se valident et renforcent une illusion.
- La surproduction illisible — trop de questions, trop de rapports, trop de branches.
- La sacralisation de l’automate — croire qu’un système bien architecturé devient automatiquement vrai.
- La confusion des registres — contemplatif, scientifique, heuristique et démontré se mélangent.
- La perte du témoin humain — si personne ne garde le seuil, l’automate devient une fabrique de récits.
L’architecture doit donc intégrer dès le départ : gates statutaires, critères de FAIL, journaux de dépromotion, modèles nuls, audit humain, conservatoire non promotionnel, et RHClaimed = false.
10 · Conséquence ultime
Chercher avec les IA sans en devenir prisonnier
Couret–Unification InterIA pourrait devenir non seulement un projet de recherche, mais une méthode générale : autonome dans l’exploration, rigoureuse dans les statuts, humble devant l’ouvert.
Le Conservatoire garde les semences.
La falsification nettoie les illusions.
La grammaire des statuts protège le dire.
Le témoin humain garde le seuil.
Cadrage · audit du concept
Ce que l’automate peut — et ne doit pas — revendiquer
La vision qui précède appelle un cadrage strict. Le mot « automate » laisse entendre entrée → traitement → résultat ; le concept réel est entrée → questions → tests → statuts → traces → nouvelles entrées. Précision : « plusieurs IA travaillent ensemble » est une formule éditoriale — au sens strict, plusieurs instances ou modèles ont été employés dans des fonctions distinctes (génération, critique, formalisation, reformulation), sans conscience ni intention.
A · Quatre niveaux
Quel automate, au juste ?
| Niveau | Fonction | Statut |
|---|---|---|
| 1 · Documentaire | classe, archive, résume, relie | [T] |
| 2 · Probatoire | génère questions, tests, modèles nuls, critères de FAIL | [P] |
| 3 · Statutaire | propose promotions, dépromotions, réfutations, conservations | [P] |
| 4 · Scientifique autonome | revendiquerait des résultats nouveaux de manière indépendante | non revendiqué |
Nom exact : Automate InterIA de recherche statutaire, et non « chercheur autonome complet ». Aujourd’hui [H] [O]. Passage vers [P] : registre de questions + critères de FAIL + journal de décisions. Vers [M] : démonstration sur corpus réel. Vers [D] : formalisation partielle des règles + validation externe.
B · Architecture
Trois modules pour devenir robuste
Les six organes (générateur, critique, test/Lean, bibliographique, Conservatoire, gate statutaire) sont cohérents. Mais trois modules manquent pour passer d’un « générateur de pistes » à un véritable système de gestion des verrous.
1 · Le registre des questions
Chaque question devient un objet structuré : identifiant, provenance, énoncé brut, type, statut initial, objet concerné, risque de surpromotion, test possible, critère de succès, critère de FAIL, coût estimé, sorties possibles, statut de sortie. Sans lui, l’automate n’est qu’un générateur ; avec lui, un système de verrous.
2 · Le moteur de priorité
Toutes les questions ne se valent pas. Un score les ordonne : Score(Q) = impact statutaire + testabilité + coût raisonnable + risque de faux positif + capacité à réfuter + nouveauté contrôlée. La meilleure question n’est pas la plus spectaculaire : c’est celle qui peut changer le statut du plus grand nombre d’éléments.
3 · Le tribunal de sortie
Toute question testée reçoit une décision explicite : PROMOTE (monte en statut) · DEMOTE (redescend) · CONSERVE (reste non décidable) · REFUTE (tombe sous critère) · RECLASSIFY (passe au contemplatif, littéraire, pédagogique) · SPLIT (une part solide, une part ouverte). Sans ce tribunal, l’automate ne produit que davantage de texte.
C · Falsification
Comment ce concept peut échouer
Un concept honnête dit d’abord comment il tombe. L’automate échoue s’il :
Dix critères d’échec
- produit surtout du texte, mais peu de tests ;
- conserve tout, mais ne réveille rien ;
- génère des questions sans critères de FAIL ;
- ne distingue pas [H], [M], [C], [D] ;
- augmente la confiance sans augmenter la preuve ;
- ne détecte pas les antécédents bibliographiques ;
- ne sait pas dépromouvoir ses propres productions ;
- transforme l’archive en labyrinthe ;
- ne produit pas de décisions statutaires mesurables ;
- devient une esthétique de la recherche plutôt qu’un instrument.
À l’inverse, il réussit si, sur un corpus donné, il produit : 20 questions structurées, 10 tests possibles, 5 critères de FAIL, 3 modèles nuls, 2 dépromotions justifiées, 1 promotion prudente, un journal complet, une carte des verrous restants.
Le succès n’est pas « l’IA a découvert une grande loi », mais « l’IA a transformé une masse d’intuitions en carte testable de statuts ».
D · Prototype minimal
Un MVP en cinq fichiers
Le concept devient un outil dès qu’il s’incarne dans cinq fichiers simples :
02_conservatoire.jsonl registre des intuitions non statuées
03_tests.yaml protocoles, modèles nuls, critères de FAIL
04_status_log.md journal des promotions / dépromotions / réfutations
05_monthly_audit.md bilan mensuel de l’automate
Chaque question, au format :
« id »: « Q-2026-001 »,
« source »: « Couret-Unification »,
« question »: « lambda = 1/sqrt(7) survit-il aux relevements primoriels ? »,
« type »: « transport »,
« status_initial »: [« H », « O »],
« risk »: « surpromotion de lambda comme invariant global »,
« test »: [« q=210 », « q=2310 », « q=30030 », « modeles nuls »],
« fail_criterion »: « disparition du signal sous relevement ou equivalence modele nul »,
« possible_outputs »: [« M », « H », « C », « Refute », « conserve_non_statue »],
« decision »: null
}
mais à sa capacité de transformer des intuitions en questions testables, les questions en épreuves, les épreuves en statuts, et les statuts en mémoire transmissible.
HilbertPolyaClaimed = false
Det2IdentityClaimed = false
GoldbachProofClaimed = false
EngineeringVerdictClaimed = false
ScopeExpansionClaimed = false
Mesurer sans surdire.
Démontrer sans s’enivrer.
Transmettre sans trahir.