Comprendre Couret–Unification

Une expérience de recherche menée avec plusieurs IA, dont la règle est de ne jamais prendre une intuition séduisante pour une preuve.

Cette page entre dans le projet par sa question, puis par son terrain. Elle dit pourquoi le projet existe, comment il travaille, ce qu’il a établi, et — tout aussi clairement — ce qu’il se refuse à revendiquer. Allez droit à la question qui vous occupe si vous préférez : « prouvez-vous Riemann ? », ou « la méthode, est-elle prouvée ? ».

Le problème qui a tout déclenché

Une IA produit aujourd’hui, en quelques secondes, un raisonnement qui a l’air d’une démonstration. Le danger n’est pas tant qu’elle se trompe — c’est qu’on la croie. En mathématiques, une analogie élégante n’a jamais valu preuve ; mais une analogie élégante, bien rédigée par une machine, est devenue très difficile à distinguer d’un théorème. C’est de là que part le projet.

La discipline est venue des nombres — pas l’inverse

Face à ce danger, nous n’avons pas posé une méthode d’avance pour l’appliquer ensuite. C’est en cherchant — dans les manuscrits de Bernard, dans la structure finie modulo 30 — et surtout en voyant nos plus belles idées tomber sous la vérification (λ comme clé de Goldbach, un pont direct vers ζ, une dominance 3/5 qu’on croyait universelle), qu’une discipline s’est imposée à nous. Chaque chute est devenue une règle. Cette discipline, tenue strictement :

Chaque énoncé reçoit un statut (démontré, mesuré, hypothétique, conditionnel, ouvert) qui décide ce qu’on a le droit d’en dire. Les idées qui tombent ne sont pas effacées : on les rétrograde et on les conserve, datées, dans un journal des échecs. Et plusieurs IA s’y critiquent mutuellement, sous responsabilité humaine exclusive, avec une règle d’arbitrage simple — le plus prudent gagne.

Le terrain : la structure finie des nombres

Ce terrain est premier — c’est lui qu’on travaille, et c’est lui qui a rendu la discipline possible : un objet assez petit et rigide pour qu’une machine vérifie chaque pas, et que le faux s’y voie. Une structure finie des nombres premiers. Une fois retirés les multiples de 2, 3 et 5, tout premier supérieur à 5 ne peut tomber que dans huit familles modulo 30 :

1 · 7 · 11 · 13 · 17 · 19 · 23 · 29

C’est fini, entièrement calculable, et — surtout — vérifiable : on peut y prendre une affirmation en flagrant délit d’erreur. C’est ce qui en fait un bon banc d’essai pour une discipline anti-illusion.

Ce terrain est un héritage. Bernard Couret (1928–1999) l’a tracé à la main, pendant un demi-siècle, sur du papier quadrillé, sans ordinateur — un crible des premiers modulo 30 et la table de leurs huit familles. Le projet reprend ce geste avec des outils qu’il n’avait pas.

« Nous n’avons fait qu’observer, mon grand-père et moi, le “déjà là”. »

Les deux faces du projet

Le projet a donc deux faces, indissociables :

L’une est le code de la route ; l’autre, la route. Les reliefs finis disciplinent la recherche parce qu’ils rendent le faux visible ; la discipline, en retour, est ce qui empêche le terrain de se changer en grandes proclamations. On ne comprend chaque face que par l’autre.

Ce que la discipline a établi sur le terrain — et ses murs

Voici les principaux acquis mathématiques. Chacun porte son statut et sa limite : c’est la règle.

Et plusieurs pistes prometteuses ont été abandonnées après vérification — conservées, datées, comme mémoire utile (voir Le Senseur · Journal F).

Prouvez-vous l’hypothèse de Riemann ?

Non. RHClaimed = false. Notre objet est local et fini ; l’hypothèse de Riemann est un énoncé global. Nous étudions des formes locales qui pourraient entretenir un rapport avec ces horizons — mais nous n’avons la preuve d’aucun pont, et nous avons même démontré qu’un pont séduisant est impossible (C-031). Nous ne refusons pas l’horizon ; nous refusons de dire que nous y sommes arrivés.

Et la méthode — est-elle prouvée ?

Non plus, et nous le disons clairement. InterIA — la pratique de recherche avec plusieurs IA sous discipline de statut — est tenue ici comme une question ouverte [O] : une pratique que nous éprouvons et dont nous mesurons les limites, pas un résultat validé, et surtout pas une IA autonome qui déciderait seule. Le projet met la méthode en avant parce qu’elle est ce qui l’anime — non parce qu’elle serait acquise. Les seules choses démontrées ici sont des résultats mathématiques finis. La méthode, elle, se juge à l’usage, et son procès est public.

Comment savoir que c’est sérieux ?

Question légitime. Notre réponse tient en une phrase : nous ne demandons pas qu’on nous croie, nous demandons qu’on vérifie.

Vérification par machine

Les résultats finis démontrés sont écrits en Lean 4 : c’est une machine, pas nous, qui contrôle la preuve. Quatorze théorèmes établis ; la couche figée sans lacune (« sans sorry ») ; les points encore ouverts marqués et comptés — dix-huit, documentés.

Journal de falsifications public

Vingt-quatre idées abandonnées, datées, jamais réécrites après coup. Les erreurs sont corrigées par révisions explicites, pas effacées.

Numérique reproductible

Graines aléatoires, empreintes (hash), seuils fixés à l’avance — pour que le calcul soit refaisable à l’identique.

Honnêteté sur l’ouvert

Une grande part du programme est exploratoire — [O] ou [H] — et nous le disons. La crédibilité ne vient pas d’une annonce ; elle vient de ce que le projet s’interdit.

Ce que le projet ne revendique pas

Pour qu’il n’y ait aucune ambiguïté :

• aucune preuve de l’hypothèse de Riemann (RHClaimed = false) ;
• aucun opérateur de Hilbert–Pólya construit ;
• aucune identité « det₂ » établie comme acquise ;
• aucune preuve de la conjecture de Goldbach ;
• aucun verdict d’ingénierie ni application validée ;
• aucune extension de portée au-delà du démontré ;
• λ = 1/√7 n’est pas une constante universelle des premiers ;
• InterIA n’est pas une intelligence artificielle autonome validée.

Ces interdictions sont gravées en invariants permanents : tant qu’aucune n’est levée par une démonstration en règle, elle reste = false.

Qui, et pourquoi en public

Le programme est porté par Alexandre Couret, chercheur indépendant (SASU CONFIANCE, Rasiguères, France), qui reprend les manuscrits de son grand-père. Le travail mêle plusieurs IA, mais la responsabilité — et le dernier mot — restent humains.

Pourquoi exposer en public un travail encore largement ouvert ? Parce qu’un travail qui se cache ne peut pas être corrigé. Nous publions pour transmettre et pour inviter la critique — y compris celle qui démolira. Une réfutation rigoureuse n’est pas une menace : elle ira au Journal F, datée, conservée.

Dédié à la mémoire de Bernard Couret · 1928–1999.

Comment lire les statuts

Un [M] ne devient jamais [D] par accumulation de données ; un [C] ne devient jamais [D] sans fermer ses hypothèses.

Petit glossaire

Méthode / objet

La méthode = la discipline du statut (comment on cherche). L’objet = les mathématiques finies mod 30 (sur quoi on cherche). Le code de la route, et la route.

G₃₀ = (ℤ/30ℤ)×

Les huit familles de restes (1, 7, 11, 13, 17, 19, 23, 29) des premiers de plus de 5, modulo 30. À ne pas confondre avec le Group of Thirty (finance) ni la Garantie SNCF G30.

Relief arithmétique

Une bosse ou un creux dans une distribution attendue : un endroit où « il y a quelque chose à regarder ». Il signale ; il n’explique pas.

λ = 1/√7

Une échelle interne à un espace fini de dimension 7. Ce que ce n’est pas : une constante universelle des premiers.

InterIA

La méthode : plusieurs IA proposent et se critiquent, sous responsabilité humaine (« le plus prudent gagne »). Tenue ouverte [O] — éprouvée, pas validée. Pas une IA autonome.

Dépromotion · Journal F

Quand une idée s’avère trop forte, on la rétrograde et on la garde : son échec devient une question plus précise. Toutes inscrites, jamais réécrites.

Passage local → global

Une forme locale ne « monte » pas au global sans pont logique explicite. Tant qu’il manque, l’énoncé reste local.

Désambiguïsation

« Couret » = Alexandre et Bernard Couret ; « G30 » = les unités mod 30. Une homonymie n’est pas une filiation ; une occurrence OCR n’est pas une preuve.