Couret–Unification

Travaux voisins et convergences indépendantes

Situer Couret–Unification parmi d’autres trajectoires humain–IA, sans transformer la proximité en validation.

Nous citons les travaux qui nous précèdent, nous ressemblent, nous contredisent ou nous obligent à préciser notre propre position. Une proximité n’est ni une filiation ni une validation. Elle est une invitation à comparer.

Pourquoi cette page ?

Couret–Unification s’est développé indépendamment. Au cours de notre recherche d’antériorité et de notre réflexion sur la recherche humain–IA, nous avons découvert d’autres chercheurs, communautés et dispositifs confrontés à des problèmes voisins : statut des claims, rôle des modèles génératifs, formalisation, reproductibilité, mémoire des erreurs et responsabilité humaine.

Ces références ne servent pas à valider Couret–Unification. Elles servent à empêcher le projet de s’isoler dans son vocabulaire.

Convergences de méthode

Travail publicConvergence observéeRelation avec CU
Eric Merle — Collatz LabResearch Ledger public, Lean, audits, corrections, mea culpa, protocole multi-IA.Travail public étudié ; autre objet mathématique ; pas affiliation.
Ken Clements — Beyond Binary ClaimsTémoignage et réflexion sur la découverte mathématique humain–IA.Trajectoire voisine ; approche narrative et exploratoire.
Remco Havenaar — SYNTRIADRecherche indépendante en découverte assistée par IA, transformations sémantiques et théorie computationnelle des nombres.Travail public étudié ; architecture différente.
Erdős ProblemsContributions IA classées, discussions communautaires, labels de revue, résultats complets/partiels/incorrects.Référence communautaire ; pas programme individuel.
OEISRègles publiques sur l’usage de l’IA : auteur humain, responsabilité humaine, vérification des formules et programmes.Norme externe de responsabilité.

Ce que nous comparons

  • Comment un claim est isolé.
  • Comment son statut est déclaré.
  • Comment l’usage de l’IA est exposé.
  • Comment une erreur est conservée.
  • Comment une antériorité est recherchée.
  • Comment une preuve formelle est reliée au claim humain.

Travail public consulté / échange direct

Chaque fiche doit distinguer clairement :

Travail public consulté Échange direct avec l’auteur Entretien autorisé Collaboration

Par défaut, les travaux cités ici sont seulement des travaux publics consultés. Si un échange direct a lieu, il sera daté et décrit séparément.

Questions pour les futurs échanges

  • Qu’avons-nous en commun ?
  • Que fait ce projet mieux que nous ?
  • Quelle règle possède-t-il que nous n’avons pas ?
  • Quelle erreur documente-t-il que nous n’avons pas encore rencontrée ?
  • Quelle partie d’InterIA était en réalité déjà connue ?
  • Quelle différence subsiste après comparaison ?