Couret–Unification
Recherche humain–IA
InterIA n’est pas une méthode destinée à faire davantage confiance aux machines. C’est une architecture destinée à travailler davantage avec elles sans augmenter proportionnellement le droit de les croire.
InterIA n’est pas un oracle collectif
InterIA ne désigne ni une intelligence artificielle autonome, ni un vote entre modèles, ni une méthode où plusieurs machines d’accord produiraient automatiquement une vérité.
C’est une organisation expérimentale du travail de recherche dans laquelle la production d’un claim et l’attribution de son statut sont séparées.
Les IA peuvent
Proposer, calculer, coder, chercher des objections, explorer une littérature, préparer une formalisation.
Lean peut
Certifier certaines dérivations formelles, sous les hypothèses et définitions réellement encodées.
Les scripts peuvent
Produire des mesures reproductibles, avec paramètres, sorties et diagnostics.
L’humain doit
Nommer le claim, contrôler l’antériorité, décider du statut et répondre de la portée.
Ce que l’IA a rendu possible
Les IA font partie intégrante de l’histoire et de la méthode de Couret–Unification. Elles ont servi à traduire des intuitions, produire des pistes, écrire du code, préparer des calculs, rechercher des objections, comparer des formulations, explorer la littérature, proposer des preuves candidates et aider à formaliser certains énoncés.
Elles ont également produit des erreurs, des rapprochements sans fondement, des raisons séduisantes mais fausses, des résultats déjà connus présentés comme nouveaux, des validations mutuelles insuffisantes et des extrapolations injustifiées.
Nous n’étudions pas seulement ce que l’IA permet de trouver. Nous étudions aussi les conditions dans lesquelles il devient possible de lui résister.
Transitions interdites
| Ce qui arrive | Ce que cela ne permet pas de conclure |
|---|---|
| Plusieurs IA sont d’accord | Ce n’est pas une preuve. |
| Un calcul numérique est plausible | Ce n’est pas un théorème ni un résultat opposable sans protocole. |
| Lean compile un énoncé local | Ce n’est pas une portée globale démontrée. |
| Aucune antériorité n’est retrouvée | Ce n’est pas une nouveauté mondiale prouvée. |
| Une structure locale ressemble à un pont global | Ce n’est pas un théorème global. |
| Une analogie spectrale est séduisante | Ce n’est pas une identification spectrale. |
Une expérience humaine à documenter
L’IA permet aujourd’hui à des personnes qui n’auraient pas franchi seules le seuil technique de certains domaines scientifiques d’y entrer par le langage naturel. Cela produit une situation nouvelle : le pouvoir d’agir peut précéder le pouvoir de juger.
Quelqu’un peut générer du code avant de savoir l’écrire seul, manipuler un objet avant d’en connaître toute la littérature, obtenir une preuve candidate avant de pouvoir entièrement l’évaluer, formaliser avant de maîtriser tous les présupposés du formalisme.
Cette situation peut produire de la découverte. Elle produit également énormément de faux positifs. Couret–Unification veut documenter les deux.
Une étude pilote désormais accessible
Le préprint Qui répond des mathématiques produites par machine ? Traçabilité longitudinale des transitions de revendications en recherche mathématique assistée par IA est associé à la notice HAL hal-05773424. Le manuscrit v1.1.1 est un document de travail non évalué par les pairs.
Son paquet reproductible public contient un instantané de 21 événements, 13 sources et 7 revendications. Il conserve les événements historiques ; les corrections ultérieures figurent dans des notes séparées.
Le protocole distingue l’état scientifique, l’état documentaire, la diffusion et le déroulement du travail. Il permet de poser des questions vérifiables sur les changements de statut. Une amélioration de la fiabilité des IA n’a pas été démontrée par ce pilote.
Les prochaines évaluations demandent notamment un double codage, des critères explicites de désaccord et un corpus extérieur. Les expériences numériques historiques dont les données brutes ne sont pas fournies restent qualifiées comme valeurs rapportées.
Contact
Nous souhaitons recevoir : critiques mathématiques, références manquantes, signalements d’antériorité, contre-exemples, tentatives de reproduction, propositions de formalisation, témoignages de recherche assistée par IA, récits d’échecs ou de corrections.