Laboratoire longitudinal humain–machines sous statut
Un laboratoire longitudinal de recherche humain–machines sous statut.
Le programme conserve résultats, erreurs, démotions et artefacts afin de rendre vérifiable non seulement ce qui est affirmé aujourd'hui, mais aussi le chemin par lequel ces affirmations ont été obtenues, corrigées ou abandonnées.
COURET — ART · MATHÉMATIQUES · MÉMOIRE
« Voir les nombres. Éprouver les énoncés. Conserver les traces. »
Un atelier-laboratoire indépendant où les manuscrits transmis par Bernard Couret rencontrent la création artistique, les calculs reproductibles et une recherche mathématique ouverte à la contradiction. Les œuvres, hypothèses, résultats vérifiés, erreurs et archives sont présentés séparément, avec leur état réel.
Recherches ouvertes, dépôts Zenodo & corrections :
• Couret — Reconstruction additive et spectrale : deux branches de recherche séparées (STROBO en Lean 4 / PR #25 & Cayley en Public Review 0.1.x).
• Zenodo Open Access (7 archives avec DOIs) : dépôts ouverts sans embargo (CU-LOG-SPEC-02, CU-MOD-OBS-05, G30, MOD-OBS-02, STROBO/MOD-OBS, NTK-OBS-01, NTK-OBS-02 ; MIT / CC BY 4.0 / CC0 1.0).
• Cayley (0.1.x-review) : graphes de Cayley et translation cyclique première (relecture humaine et antériorités ouvertes, aucun DOI stable).
• Erratum F-001 : proportion des premiers mod 30 rectifiée à 0,3749982 (limite 3/8 classique, ancien ~0,378 réfuté).
Accès direct aux claims, preuves formelles en Lean 4 (0 sorry figé), scripts de calcul reproductibles, contre-tests finis et matrice d'antériorité.
Reconstruction, reprise, provenance des chemins, fibres de réalisation, transports de structures et étude prospective des capacités.
Les manuscrits de Bernard Couret, la genèse du projet, la traversée de la phase spectrale, les démotions publiques et l'organisation InterIA.
Par où commencer
Le programme se lit selon ce que vous y cherchez. Choisissez votre porte — chaque parcours traverse le site dans l'ordre qui lui donne sens.
Pour le mathématicien
Ce qui est démontré, ce qui est ouvert, et comment le rejouer soi-même.
Sortie : le dépôt GitHub, à compiler.
Pour le philosophe
Comment une recherche se gouverne : preuve, mesure, non-claim, dépromotion.
Sortie : le panorama des travaux voisins.
Pour le curieux
Un homme, des manuscrits, et ce que la beauté des nombres a d'humain.
Sortie : le Cycle du Passage.
Appel
Ce programme manque cruellement de critique extérieure. À ce jour, aucun relecteur indépendant n'a examiné nos résultats. Ce n'est pas faute d'avoir sollicité — c'est le sort ordinaire d'un travail mené hors institution, filtré avant d'être lu.
Des questions étroites plutôt qu'une relecture d'ensemble : chacune se tranche sans avoir à évaluer tout le programme.
Le verrou central est-il une équivalence déjà connue ?
Nous présentons un unique point ouvert comme équivalent à l'hypothèse de Riemann. Recoupe-t-il un critère classique — Nyman–Beurling, Riesz, positivité de Weil, critère de Li ? Les deux réponses nous vont : ce serait une reformulation propre, ou autre chose. Le silence, non.
théorie analytique des nombresNos énoncés Lean disent-ils ce que notre prose annonce ?
C'est le maillon que nous jugeons nous-mêmes le plus faible : non la cohérence logique, mais la traduction. Le code est public et se compile ; un lecteur de Mathlib verrait en quelques minutes ce que nous ne voyons pas.
Lean 4 · MathlibNotre résultat le plus fragile, que nous désignons nous-mêmes
La classification spectrale finie : sa preuve machine est encore un échafaudage non compilé. Nous l'affichons comme provisoire. Démolissez-la, ou dites-nous ce qui manque.
combinatoire · vérification formelleLa preuve d'impossibilité tient-elle ?
Une voie candidate vers ζ, fermée négativement, par un argument court d'unicité de la factorisation. C'est notre résultat le plus autonome — et le plus facile à réfuter s'il est faux.
arithmétique élémentaireLa méthode change-t-elle quelque chose, mesurablement ?
Nous ne le savons pas. Il faudrait un protocole à deux bras — avec et sans l'appareil de statuts — mesurant le taux de surpromotion, et répliqué par un tiers. Nous n'avons pas conduit cette expérience.
méthodologie · IALa provenance est-elle ce que nous en disons ?
Les manuscrits de Bernard Couret sont consultables. Celle-là se juge sans aucune expertise : il suffit de regarder.
ouvert à tousCe que nous nous engageons à faire de votre critique
La publier — y compris si elle nous démolit. Notre registre est tenu en append-only : une erreur trouvée y est inscrite avec sa date, son motif et son auteur, et l'état antérieur n'est jamais effacé.
Vous n'avez pas à nous ménager, ni à motiver votre verdict au-delà de ce qui vous intéresse. Une objection en trois lignes vaut mieux que rien, et nous la traiterons comme un résultat.
Le code se clone et se compile sans nous demander la permission ; le registre et les manuscrits sont en ligne. Tout ce qu'il faut pour nous contredire est déjà public. Il ne manque que quelqu'un pour le faire.
Les reliefs arithmétiques confrontent les modèles d’IA générative à la contrainte naturelle des nombres. Cette contrainte n’inhibe pas leur créativité : elle l’oriente, la rend productive, mesurable et statuable.
« La machine propose. L’arithmétique résiste. Le statut décide. »
Le dispositif
Méthodologie InterIA, sous responsabilité humaine exclusive.
Les productions
Contributions machines retenues, classées par statut.
Les dépromotions
Productions falsifiées, cas pédagogiques de discipline épistémique.
Chaque item porte son statut épistémique, ses sections internes navigables, et sa triple médiation (oral · musical · visuel). On navigue par statut ou par domaine.
Couret–Unification est un programme indépendant de recherche conduit par Alexandre Couret, dans le prolongement d’un travail de lecture et de reconstruction des manuscrits de Bernard Couret. Il étudie des objets arithmétiques finis et les conditions de vérification des revendications produites avec l’aide de systèmes d’intelligence artificielle.
Trois ensembles publics donnent accès aux travaux diffusés : des vérifications finies reproductibles ; un certificat exact de monodromie au premier 7 ; une étude pilote de traçabilité des revendications en recherche mathématique assistée par IA.
Une archive, un DOI ou un contrôle automatisé n’établissent pas à eux seuls la nouveauté ou la portée d’un résultat. Les preuves, les calculs exacts, les évaluations numériques, les hypothèses et les travaux en préparation sont identifiés séparément.
Consulter les publications et leurs versions · Reproduire les contrôles · Lire les corrections
Les manuscrits de Bernard Couret sont une origine documentaire et humaine du programme. Le « déjà-là » nomme ici une expérience de rencontre avec des formes que nous n’avons pas choisies. Cette lecture philosophique accompagne la recherche ; elle ne remplace ni la définition d’un objet, ni sa preuve, ni l’examen de son antériorité.
La source ancienne, sa transcription et sa reconstruction contemporaine restent distinctes. Les contributions modernes sont attribuées à leurs auteurs et documentées par leurs artefacts.
Le socle modulo 30, les graphes de congruence et l’étude du travail humain–IA constituent des terrains différents. Les résultats d’un terrain n’étendent pas automatiquement la portée des autres. Aucun des trois paquets publics ne démontre l’hypothèse de Riemann ni une réalisation de Hilbert–Pólya.
Nous recherchons des relectures ciblées : rejouer un certificat, examiner une preuve, signaler une antériorité ou évaluer un protocole sur un corpus extérieur.
Vue d’ensemble
Du socle fini certifié jusqu’aux verrous ouverts : une page unique, purement mathématique, qui déroule l’enchaînement complet du programme — chaque étape, son statut, et le passage vers la suivante.
Plusieurs modèles d’IA générative, interrogés indépendamment, ont produit des résultats cohérents. La convergence inter-modèles n’est pas une preuve de vérité : elle constitue un test de robustesse structurelle.
La pensée scientifique rigoureuse ne naît jamais dans l’évidence immédiate. Elle se construit systématiquement contre elle. Une trace, même statistiquement irréprochable, n’est jamais par elle-même une preuve — seulement une demande de statut.
dans l’esprit de Gaston Bachelard
La vérification formelle, elle, est portée par Lean 4 (couche figée : 0 sorry · couches actives : 11 sorry documentés, scaffold Mathlib en cours). Les modèles d’IA générative ont servi d’outil exploratoire, non de juge. La convergence inter-modèles révèle une structure qui résiste aux variations de méthode. Sa nature algébrique est vérifiée par la formalisation Lean 4.
Chercher sans capturer.
Mesurer sans surdire.
Démontrer sans s’enivrer.
Transmettre sans trahir.
Un programme de recherche sur la structure finie des nombres premiers, dans la lignée des manuscrits de Bernard Couret. Et une leçon qu’on n’avait pas prévue : ce sont ces recherches — surtout nos idées les plus séduisantes, tombées une à une — qui nous ont appris une discipline. Pas l’inverse.
à la mémoire de Bernard Couret (1928–1999)
Ce ne sont pas nos règles qui ont fait avancer la recherche.
C’est la recherche qui nous a fait les règles.
Les nombres premiers ont une structure locale riche et exacte — par exemple leurs huit familles modulo 30. La question dure : jusqu’où cette structure locale, vérifiable pas à pas, peut-elle atteindre des énoncés globaux (Goldbach, les zéros de la fonction ζ) ? Le programme étudie cette frontière — et se refuse à la franchir en paroles.
La machine atteste. L’humain statue.La friction local → global devient le lieu du travail.
La structure des huit familles modulo 30 (G₃₀ ≅ C₂×C₄) et son spectre exact {3², 1⁴, (−1)²}. Le sol vérifiable, hérité des manuscrits de Bernard, d’où tout part.
La symétrie exacte Ga(N)=GN−a(N) ; l’équirépartition conjecturale (Hardy-Littlewood) ; des certificats calculables ; un biais secondaire encore ouvert.
Une voie (K#) démontrée impossible ; un candidat (K^p) encore ouvert ; le recollement final — le Verrou F — non franchi. L’horizon ζ n’est pas atteint.
On pourrait croire qu’on a d’abord posé une méthode, puis cherché. C’est l’inverse. Nous avons cherché — dans les manuscrits de Bernard, dans la structure finie modulo 30 — et ce sont ces recherches qui, peu à peu, nous ont imposé une discipline.
C’est de là — et non d’un principe imposé d’avance — que viennent notre façon de travailler :
La discipline n’est pas le moteur de la recherche. Elle en est le dépôt — et c’est elle, aujourd’hui, qu’on cherche à transmettre.
Prouver ce qui est prouvable. Nommer ce qui est ouvert.
La machine atteste. L’humain statue.