PROGRAMME COURET-UNIFICATION

Reliefs Arithmétiques

Un programme de recherche sur la structure modulaire des nombres premiers à travers le groupe (ℤ/30ℤ)× et son architecture spectrale en dimension 7. Né des manuscrits de Bernard Couret (1928–1999), formalisé en Lean 4, étendu par un dialogue méthodique avec plusieurs modèles d’IA générative, le programme combine résultats démontrés, vérifications numériques et obstructions structurelles identifiées.

‖M‖HS ≤ P(3/2) = 0,8495… < 1 ⟹ auto-adjonction unique
Borne KLMN — un fait arithmétique qui ferme H1.

Note aux visiteurs, chercheurs et étudiants

L’écosystème Couret-Unification est encore en construction. Ce projet étant particulièrement vaste, nous sollicitons votre indulgence le temps que chaque domaine trouve sa pleine formulation. Ce site a aussi vocation à devenir un espace de co-construction : nous accompagnons étudiants et chercheurs dans leurs projets scientifiques ou artistiques.

Rétablir un dialogue ancien

Entre mathématiques, philosophie, art et traditions de pensée plus larges. Nous nommons parfois nos objets de manière imagée — reliefs, horloge, résonance — parce que ces noms ouvrent des ponts. La rigueur épistémique tient à autre chose : chaque énoncé porte son statut.

Trois résultats centraux

Démontré
Trichotomie spectrale Spec(T_C) = {3, 1, −1}

[D] Démontré

Démontré
Théorème C-031 — obstruction de Dirichlet

[D] Démontré

Démontré
Théorème E (i) — NT(sₙ) = 2/3

[D] Démontré

Item modèle · Domaine I

λ = 1/√7

Invariant géométrique du noyau fini centré en dimension 7

[D] Démontré
[M] Mesuré
[H] Heuristique
[O] Ouvert
Démonstratif

Quatre blocs internes. Un bloc démontré [D] ne rend pas démontrées toutes les lectures de λ : chaque section porte son statut.

Lire l’item →

♪ Présentation audio disponible sur la page

Instrument d’observation · Horloge de Couret

–:–:–

n (minutes du jour)
—
Classe mod 30
—
Statut premier
—
Triplet T_C {1,11,29}
—
Énergie spectrale |F̂|² (profil 9,1,1,1,9,1,1,1)
—

Sous-onglet · Recherches

L’arithmétique comme terrain expérimental pour la cognition machine

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.

Entrer dans Recherches

Six grands domaines

Chaque domaine, sa bibliothèque d’items

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.

DOMAINE I

Le socle fini

Ce qui est démontré dans le périmètre fini mod 30.

DOMAINE II

Reliefs arithmétiques

Mesures locales, atlas modulaire, transport primoriel.

DOMAINE III

Résultats et théorèmes

Énoncés exacts, démontrés ou en formalisation.

DOMAINE IV

Verrous et passages ouverts

Questions analytiques ouvertes, voies fermées, conditions.

DOMAINE V

Goldbach local et MU210

Loi jointe empirique, modèles nuls, validation statistique.

DOMAINE VI

Négatifs utiles

Ce qui a été falsifié, dépromu, corrigé.

Vue d’ensemble

La démonstration complète, suivie

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.

Accéder au tableau de bord →
Méthodologie · Robustesse inter-modèles

Une structure robuste aux variations de méthode

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 : 18 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.

RHClaimed = false
HilbertPolyaClaimed = false
Det2IdentityClaimed = false
GoldbachProofClaimed = false
EngineeringVerdictClaimed = false
ScopeExpansionClaimed = false

Chercher sans capturer.
Mesurer sans surdire.
Démontrer sans s’enivrer.
Transmettre sans trahir.

Programme Couret-Unification

Entre l’attestable et l’affirmable

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)

¬RHClaimed — aucune preuve de l’hypothèse de Riemann n’est revendiquée.

Ce ne sont pas nos règles qui ont fait avancer la recherche.
C’est la recherche qui nous a fait les règles.

La problématique

Le local est prouvable. Le global, lui, s’affirme.

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.

L’attestable
le local, le fini, le vérifiable : un spectre, une preuve Lean, une borne calculée.
La machine atteste.
L’affirmable
le global, la portée d’un résultat, la responsabilité de le dire.
L’humain statue.

La machine atteste. L’humain statue.La friction local → global devient le lieu du travail.

Nos axes de recherche

Trois axes — chacun avec son statut

Axe 1 · le terrain

Le socle fini

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.

[D] démontré
Axe 2 · le problème public

Goldbach modulo 30

La symétrie exacte Ga(N)=GN−a(N) ; l’équirépartition conjecturale (Hardy-Littlewood) ; des certificats calculables ; un biais secondaire encore ouvert.

[D][H][M][O]
Axe 3 · l’horizon

Le pont vers ζ

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.

[F] fermé[O] ouvert

Comment on s’y prend

Une discipline que les nombres nous ont imposée

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.

Surtout nos plus belles idées : λ = 1/√7 comme clé de Goldbach, un pont direct vers ζ par la voie K#, une dominance 3/5 qu’on croyait universelle. Chacune était séduisante ; chacune est tombée sous la vérification. Et chaque chute est devenue une règle.

C’est de là — et non d’un principe imposé d’avance — que viennent notre façon de travailler :

  • Des statuts tenus strictement — démontré, mesuré, heuristique, conditionnel, ouvert, falsifié. Une idée ne « monte » que si elle y a droit.
  • La vérification machine — les résultats démontrés sont écrits et contrôlés en Lean 4.
  • Un journal des idées abandonnées — rien n’est effacé ; chaque falsification est consignée, datée.
  • Plusieurs IA, un seul responsable — elles se critiquent ; l’humain tranche, et « le plus prudent gagne ».
  • Une règle de gel — pas de [D] sans artefact ; pas d’horizon sans verrou nommé.

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.

[D] démontré
[M] mesuré
[H] heuristique
[C] conditionnel
[O] ouvert
[F] falsifié

Prouver ce qui est prouvable. Nommer ce qui est ouvert.

La machine atteste. L’humain statue.