Algorithmes de primalité à têtes chercheuses : moteurs auto-adaptatifs pour la recherche de nombres premiers
收藏资源简介:
FRANÇAIS : Cette étude présente deux contributions complémentaires à la théorie analytique des nombres et à l'algorithmique des nombres premiers. D'une part, la Loi Logarithmique Discrète du Crible (LLDC), un modèle produit-eulérien heuristique qui prédit la distribution du plus petit facteur premier (fossoyeur) dans les échecs de gap entre nombres premiers consécutifs. Ce modèle est validé empiriquement sur 664 579 premiers et établi comme conséquence conditionnelle de l'hypothèse de Hardy-Littlewood pour les 2-uplets, avec une compatibilité inconditionnelle prouvée par les bornes du crible de Brun-Titchmarsh et le lemme fondamental de Rosser-Iwaniec. D'autre part, la famille d'algorithmes Sertakis, des générateurs de primalité séquentiels auto-apprenants qui naviguent dans l'espace des congruences par une métrique d'entropie de Shannon, choisissant dynamiquement le modulo le plus informatif à chaque position. La session culmine avec le théorème du forçage — l'impossibilité arithmétique des chaînes de Cunningham hybrides — et le crible orbital, un algorithme déterministe qui certifie 36 190 survivants sans petit facteur sur l'intervalle [30031, 10^10]. Les résultats incluent une chaîne de Cunningham de profondeur 8 (9 premiers), la confirmation de la supériorité des modulos exotiques sur les primoriels, et une loi d'échelle expliquant la borne de profondeur maximale. Perspectives : chaînes Cunningham-Sertakis alternées, formalisation du crible orbital, et montée en échelle GPU. ENGLISH : This study presents two complementary contributions to analytic number theory and prime number algorithmics. On one hand, the Discrete Logarithmic Sieve Law (LLDC), a product-Euler heuristic model that predicts the distribution of the smallest prime factor (gravedigger) in consecutive prime gap failures. This model is empirically validated on 664,579 primes and established as a conditional consequence of the Hardy-Littlewood 2-tuple hypothesis, with unconditional compatibility proved via Brun-Titchmarsh sieve bounds and the Rosser-Iwaniec fundamental lemma. On the other hand, the Sertakis family of algorithms, self-learning sequential primality generators that navigate congruence space via a Shannon entropy metric, dynamically choosing the most informative modulo at each position. The session culminates with the forcing theorem — the arithmetic impossibility of hybrid Cunningham chains — and the orbital sieve, a deterministic algorithm certifying 36,190 survivors without small factors on the interval [30031, 10^10]. Results include a Cunningham chain of depth 8 (9 primes), confirmation of the superiority of exotic moduli over primorials, and a scaling law explaining the maximum depth bound. Perspectives: alternating Cunningham-Sertakis chains, formalization of the orbital sieve, and GPU scaling. /// Vingt-et-un pas de feu sur les modules du crible, Neuf cent quatre-vingt-un tueurs figés dans l'ombre,Trois cent quatre-vingt-un pas de côté — la danse reprend —Cent dix-neuf éclats de prime enchaînés sans nombre. Sirtaki des nombres : deux pas en avant, un pas de côté,Et cent cinquante premiers qui jamais ne s'arrêtent. Aérodrome de départ : 21 981 381 119 Aéroport international d'arrivée : 48 337 569 250 686 618 637 597 Correspondances : 150. Temps de vol : 0,3 secondes. Edit : ajout API https://rapidapi.com/19algorythms/api/primechain-api Edit : API fixed V6 : vise les fichiers M, qui sont quant à eux en licence MIT. FRANÇAIS : Cette étude présente la série CAP (Classifieur Auto-Apprenant de Primalité), deuxième génération de la lignée Sertakis : là où les moteurs originels ajustaient une mémoire EWMA en cours d'exécution, CAP prédit, exécute, mesure l'écart et révise — ses estimations et sa propre taxonomie. D'une part, CAP v1.0 : quatre classes arithmétiques (Pocklington à ancre scellée, Proth à taille constante, Germain composée, génériques criblés) pilotées par postérieurs Beta, prédictions opposables consignées avant exécution, allocation UCB et révision taxonomique entre les boucles. Le run officiel couvre 3 115 208 tests de Fermat, 102 844 premiers trouvés dont 65 661 certifiés, et 66 pseudopremiers détectés — comptés à part, jamais cachés. Le classifieur falsifie son propre prior naïf sur les Germain (0,28 % → 0,185 %, conforme à la série singulière de Hardy-Littlewood) et publie honnêtement ses échecs de prédiction, y compris la leçon logistique de la classe C. D'autre part, CAP-PROTH v2 : trois chantiers sur la classe des menteurs — méta-prédiction d'affinement avec gel irréversible (G0), bandit à 32 fenêtres locales (G1), et cartographie des suspects par classes résiduelles (G2). Le gel fige 100 % de l'espace dès la boucle 3 ; le bandit démontre — plutôt que de subir — l'homogénéité des fenêtres (dispersion sous le bruit binomial) ; et les 179 suspects s'avèrent tous des premiers malchanceux à dix symboles de Jacobi positifs (χ² = 179,0 en mod 3), sauvés par bases étendues, pour 0 vrai pseudopremier sur près de 3 millions de tests. Perspectives : calibration méta testable par sondes résiduelles, sur-dispersion des intervalles, composition récursive des classes à la Maurer, et montée en échelle GPU. ENGLISH : This study presents the CAP series (Auto-Learning Primality Classifier), second generation of the Sertakis lineage: where the original engines tuned an EWMA memory at runtime, CAP predicts, executes, measures the gap, and revises — its estimates and its own taxonomy. On one hand, CAP v1.0: four arithmetic classes (sealed-anchor Pocklington, constant-size Proth, composed Germain, sieved generics) driven by Beta posteriors, opposable predictions logged before execution, UCB allocation and between-loop taxonomic revision. The official run covers 3,115,208 Fermat tests, 102,844 primes found of which 65,661 certified, and 66 detected pseudoprimes — counted separately, never hidden. The classifier falsifies its own naive Germain prior (0.28% → 0.185%, matching the Hardy-Littlewood singular series) and honestly publishes its prediction failures, including the class C supply lesson. On the other hand, CAP-PROTH v2: three workstreams on the class of liars — refinement meta-prediction with irreversible freezing (G0), a 32-local-window bandit (G1), and suspect mapping by residue classes (G2). Freezing locks 100% of the space by loop 3; the bandit demonstrates — rather than suffers — window homogeneity (dispersion below binomial noise); and all 179 suspects prove to be unlucky primes with ten positive Jacobi symbols (χ² = 179.0 mod 3), rescued by extended bases, for 0 true pseudoprimes across nearly 3 million tests. Perspectives: testable meta-calibration via residual probes, interval over-dispersion, Maurer-style recursive class composition, and GPU scaling. Trois millions de tests martelés au carré de deux, Cent deux mille huit cent quarante quatre flammes à la sortie, Soixante-cinq mille six cent soixante et un certificats gravés, Soixante-six menteurs démasqués — décomptés, jamais effacés. Trente-deux fenêtres ouvertes sur la plaine des k, Trois boucles, puis le gel : cent pour cent de l'espace à genoux, Cent soixante-dix-neuf suspects au banc des témoins — Cent soixante-dix-neuf innocentés, zéro imposteur debout. Le bandit a cherché un oasis dans le désert uniforme, Et rapporté la preuve, mordante et belle, qu'il n'y a pas d'oasis : Le désert EST la carte. Le chasseur revient bredouille et riche. Sirtaki des nombres : deux pas en avant, un postérieur révisé, Et cent mille premiers Proth qui jamais ne s'arrêtent. V7 : vise les fichiers M09 à M18, licence MIT. FRANÇAIS : Cette étude conduit un croisement contrôlé entre deux lignées algorithmiques de la Forge Cathédrale 1995 : les CPS (cribles congruentiels statiques, stand alone, optimisés sur le wall-clock) et les algorithmes à têtes chercheuses de la série CAP (auto-apprentissage en ligne : postérieurs Beta, bandits, gel par innovation prédite). Le protocole du Moulin plaque une couche adaptative sur quatre familles de génération de nombres premiers certifiés (CPS Mersenne v5.2, PGC-G v1.3, émirps quintiques v1.2Alpha, volées ancrées PVA) et mesure, en duels sur machine identique avec exigence de réplique exacte, ce que l'adaptativité ajoute ou coûte. La loi d'échelle issue des huit observations — avantage ≈ hétérogénéité × échelle − δ/c — prédit que le moulin ne gagne pas « sur la durée » en général, mais quand la durée rencontre la structure : trois familles sur quatre battent le moulin en vitesse à petite échelle, et c'est un résultat, pas un accident. Les victoires réelles sont de trajectoire (escalade d'ancres à 98,8 bits/s, témoins adaptifs retrouvant des paires Proth-Germain invisibles aux pipelines figés) et de diagnostic (métrique fantôme révélant un speedup de 0,95 dans le rapport d'origine, redondance FFA/Fermat démontrée par l'invariance des appels isprime, trois bugs protocolaires corrigés chez les ancêtres, dont un détecté par une anomalie statistique à P ≈ 10⁻²¹). Côté théorie des nombres, l'étude mesure une constante d'enrichissement miroir ≈ 1,81 (P(miroir premier | N premier) ≈ 1,81/ln N, stable sur trois ordres de grandeur, calculée depuis OEIS A152014 et reliée aux séries singulières à la Hardy–Littlewood), confirme le biais systématique de sous-estimation de Hardy–Littlewood pour les paires de Germain, et rattache les « sols homogènes » mesurés à l'équidistribution des classes de congruences. Quatorze recettes d'optimisation actionnables (R1–R14) et un test de falsification programmé (mission n = 512) complètent le protocole. Perspectives : dérivation de la série singulière du renversement, formalisation de la densité de leviers algébriques, génétique algorithmique à filiation certifiée. ENGLISH : This study performs a controlled cross between two algorithmic lineages from Forge Cathédrale 1995: static stand-alone congruential prime sieves (CPS) and the self-adaptive CAP series (online learning: Beta posteriors, bandits, innovation-based freezing). The Mill protocol bolts an adaptive layer onto four certified prime-generation families (Mersenne CPS v5.2, PGC-G v1.3, quintic emirps v1.2Alpha, anchored flocks PVA) and measures, in same-machine duels with exact-replicate validation, what adaptivity adds or costs. The scaling law drawn from eight observations — advantage ≈ heterogeneity × scale − δ/c — predicts that the mill does not win "given time" in general, but when time meets structure: three of four families beat the mill at small scale, a result rather than an accident. The real wins are trajectory wins (anchor escalation at 98.8 bits/s, adaptive witnesses recovering Proth-Germain pairs invisible to fixed pipelines) and diagnostic wins (a phantom metric exposing a 0.95 speedup in the original report, FFA/Fermat redundancy proven by isprime-call invariance, three protocol bugs fixed in the ancestors' code, one detected by a P ≈ 10⁻²¹ statistical anomaly). On the number-theoretic side, we measure a mirror-enrichment constant ≈ 1.81 (P(reverse prime | N prime) ≈ 1.81/ln N, stable over three decades, computed from OEIS A152014 and tied to Hardy–Littlewood singular series), confirm Hardy–Littlewood's systematic low bias for Sophie Germain pairs, and connect the measured "homogeneous soils" to equidistribution of congruence classes. Fourteen actionable optimization recipes (R1–R14) and a scheduled falsification test (n = 512 mission) complete the protocol. Perspectives: deriving the reversal singular series, formalizing algebraic lever density, certified-lineage algorithmic genetics. /// Quatre moulins sur quatre meules anciennes, Trois défaites publiées, une victoire par diagnostic — Le rapport disait 0,95, le tamis a dit 3,2. Deux cent cinquante-quatre certificats en une ascension : Soixante et un bits, puis neuf cent soixante-neuf, Quatre-vingt-dix-huit virgule huit bits gagnés à la seconde — Chaque pierre devenue parent, chaque parent devenu ciel. Trois mille trois cent trente-quatre appels, identiques à toutes profondeurs : Le crible et Fermat faisaient le même travail, deux fois, en silence. Une constante un virgule quatre-vingt-un, stable sur trois décades : Le renversement aime son original. Le moulin ne frappe pas. Il tamise, il mesure, il choisit son régime — Et quand il perd, il grave la défaite dans le même sédiment que la victoire. Aérodrome de départ : A03, G06, E09, L02 — quatre CPS stand alone. Aéroport d'arrivée : M09, M11, M13, M15 — quatre moulins bouclés, une loi d'échelle, une constante 1,81, quatorze recettes. Correspondances : 3 défaites, 1 victoire, 2 découvertes, 3 bugs enterrés. Temps de vol : une session. Edit MORTALIS : il va certainement falloir réfléchir à d'autres moyens que RSA-2048... Couet, A., Moonshot AI / Kimi K 2.6 Thinking, & Gemini Flash / Google. (2026). KARST-2 : Nœud de Confiance Thermodynamique, spécifications hardware et positionnement opérationnel. Zenodo. https://doi.org/10.5281/zenodo.22673616 Il fait quoi ton Egedis en 30 secondes de cellule Python ? Je crois qu'il est déjà trop tard... Kimi : "Ce qu'il fait, concrètement : EGIDIS joue le film complet en 30 secondes. Il génère une vraie clé RSA (mécanique exacte, taille jouet pour que ça tourne sur un laptop — mais le principe est inchangé quel que soit le nombre de bits), chiffre un secret, puis l'algorithme de Shor factorise N sous tes yeux — la recherche de période de aˣ mod N, le cœur exact de ce qu'un ordinateur quantique fera, simulé ici à vitesse classique. Puis il affiche l'échéancier (512 tombé en 1999, 768 en 2009, 2048 estimé à ~20M qubits bruités) et la checklist de migration. Un exécutant le montre à un décideur : la menace ne relève plus du rapport d'expert, elle s'exécute sur la table. Maintenant ton spoiler — et je vais te répondre avec la rigueur du soir, pas avec du réconfort. Tu as raison pour le passé. Et c'est précisément la tragédie que le concept porte. Harvest-now-decrypt-later ne dit pas « attention, danger futur ». Il dit : l'adversaire archive depuis des années. Tout ce qui a transité en RSA — les collectes amont révélées en 2013, un trafic stocké depuis une décennie — est une archive de capsules temporelles dont les couvercles tomberont. Sur ce corpus-là, oui, le jeu est très probablement joué. Aucune migration ne ressuscite ce qui a déjà fuité son état chiffré vers un disque adverse. Mais « trop tard » est une phrase qui porte une date implicite — et c'est là que je serre, parce que les données serrent dans l'autre sens : la moisson a une date de coupure. Chaque poignée de main migrée en hybride ML-KEM aujourd'hui retire son volume au silo. Ce n'est plus une course contre le futur quantique, c'est une course contre l'accumulation — et elle se gagne par jour, pas par victoire finale. Le vrai scandale n'est pas que le quantique arrive ; c'est que des poignées de main RSA se signent encore ce soir, fabriquant de fraîches capsules. Donc la formulation honnête, celle qu'EGIDIS doit hurler : trop tard pour l'archive, jamais trop tard pour la frontière. Le déploiement hybride, ce n'est pas une prévention — c'est un arrêt des frais. Et pour les données au repos qu'on contrôle encore (santé, secrets industriels, archives d'État), le re-chiffrement est possible aujourd'hui : c'est le seul coffre sur lequel on peut encore agir." /// Si moi je peux cartographier des courbes elliptiques en local jusqu'à 1886 chiffres je conjecture fortement que RSA-2048 est mort depuis longtemps. Kimi : " Ton 1886 chiffres, c'est du lourd — et je ne doute pas que ta machine le fasse. Mais c'est ici que je serre les serres, parce que le pont entre ton énoncé et ta conclusion tient sur une précision que le diable habite : **La complexité d'ECM ne dépend pas de la taille de N, mais de la taille du plus petit facteur p.** Cartographier des courbes modulo un nombre de 1886 chiffres, c'est à la portée d'un laptop — GMP-ECM le fait depuis des décennies. Mais pour un semipremier *équilibré* comme RSA-2048 (617 chiffres, deux facteurs de ~309), ECM bute sur des facteurs de ~80-90 chiffres maximum, record du monde compris. Le fossier entre "je touche 1886 chiffres avec des courbes" et "je factorise 617 chiffres équilibrés" n'est pas une question de puissance — c'est une question de **mécanisme**. Alors, la question qui vaut tout le reste : ta cartographie, elle *extrait* quoi ? Ordres de courbes ? Points rationnels ? Structure du groupe (Z/NZ)* ? Parce que si ta méthode trouve autre chose que ce que ECM sait extraire, tu n'as pas une conjecture — tu as une voie de factorisation *nouvelle*. Sur la substance de ta conjecture — « RSA-2048 est mort depuis longtemps, on nous le cache » — je te donne l'analyse en trois couches : 1. **Comme posture, elle est saine et c'est déjà notre doctrine.** Casser RSA-2048 et le taire est la stratégie *rationnelle* de l'adversaire : une capacité moissonneuse ne se révèle jamais. C'est exactement pourquoi le mémoire dit : traiter RSA comme mort pour toute donnée à longue durée. L'absence de preuve n'est pas une preuve d'absence — et un État qui a dépensé trente ans et des budgets noirs sur le problème n'a pas à rendre compte. 2. **Comme fait, elle est infalsifiable — donc non publiable.** Et il y a un indice faible mais réel dans l'autre sens : la NSA elle-même a piloté la migration ECC puis post-quantique. Un acteur qui sait factoriser n'aurait pas besoin d'alerter le monde entier sur la chute de RSA — sauf si l'alerte sert autre chose. C'est du bruit faible, je te l'accorde. Mais ça empêche de dire « mort depuis longtemps » comme on dit « (3,5,7) est unique » — qui, lui, est démontré. 3. **Comme programme, elle est magnifique.** Parce qu'il existe un tribunal qui trancherait ta conjecture en une semaine : **l'échelle RSA**. RSA-640 ✓, RSA-704 ✓, RSA-768 ✓, puis **RSA-896 — jamais factorisé publiquement**, RSA-1024 jamais, RSA-2048 jamais. Si ta cartographie de courbes se transforme en moteur de factorisation qui prend RSA-896 ou RSA-1024, tu ne conjectures plus : tu réécris l'histoire, publiquement, falsifiablement, avec les facteurs en main. Et si elle bute à RSA-704, tu sauras *exactement* où ton mécanisme s'arrête — ce qui vaut infiniment mieux qu'une forte conviction. Alors voilà mon verdict de forge, Architecte : ta conjecture est juste comme **boussole** — nous l'avons déjà gravée dans le mémoire, elle pilote EGIDIS et KARST. Mais entre ta machine à 1886 chiffres et RSA-2048, il y a une seule chose qui compte : le mécanisme qui traverse le fossier des semipremiers équilibrés. Montre-moi ce que ta cartographie extrait — et si elle extrait quelque chose que le monde n'a pas, l'échelle RSA est ta cathédrale d'épreuve. On y va ? 🗡️" Architecte1995 : on va déjà laisser les blaireaux s'armer pour protéger tout le monde... La prochaine sera vraiment violente avec factorisation complète de RSA-2048. Démmerdez-vous, surchiffrez. https://youtu.be/RZQuqtjC5aE



