- Drestriction de support exacte
- Mrépulsion diagonale, χ²≈243
Ce que cela montre
une contrainte modulaire exacte + une anti-persistance mesurée.
Ce que cela ne prouve pas
une densité globale des SG.
◆ Face Objet — le terrain mathématiquevous êtes ici · résultat démontré [D]
◆ Face Méthode — la discipline →le code de conduite · tenue ouverte [O]
◆ Face Méthode — la discipline →le code de conduite · tenue ouverte [O]
Une famille confinée — un relief net sur le socle
◉Départle socle prouvé[D]
⋯⋯
○G₃₀ ≅ C₂×C₄étape d’avant[D]
———
●Sophie Germainvous êtes ici[D]
———
○Conjectureétape d’après[O]
⋯┄┄
◎Arrivéeinfinitude — non atteinte[O]
Un confinement démontré sur le socle fini. Passé les premiers cas, les premiers de Sophie Germain ne se logent que dans trois des huit familles. La question de leur infinitude, elle, reste entièrement ouverte.
Pourquoi cette pièceElle montre un confinement : les premiers de Sophie Germain (p tel que 2p+1 premier), au-delà des premiers cas, ne tombent que dans les classes 11, 23, 29 mod 30 (corollaire d’un théorème publié, Agoh / Granville, 2025). Elle ne dit rien de la conjecture elle-même — en existe-t-il une infinité ? reste ouvert.