Conjecture de Goldbach : tout entier pair est-il la somme de deux nombres premiers ?
Résumé
Posée dans une lettre à Euler en 1742. Vérifiée jusqu'à quatre milliards de milliards. Toujours pas démontrée.
Équations
Reproduites exactement comme déposées. Elles font partie de ce qui est signé.
LaTeX
\forall n \geq 4 \text{ pair},\ \exists\, p, q \text{ premiers} :\ n = p + q\ ?Ce problème n'est pas de nous. Horizon Builder le pose ici pour qu'on y travaille, avec une date et une signature — pour que celui ou celle qui y apportera quelque chose puisse le prouver.
L'énoncé
Tout entier pair supérieur ou égal à 4 s'écrit-il comme somme de deux nombres premiers ? 4 = 2+2, 6 = 3+3, 100 = 3+97…
Pourquoi ça compte
C'est l'archétype du problème d'apparence élémentaire qui résiste. Les nombres premiers sont définis par la **multiplication** ; la conjecture parle d'**addition**. Toute la difficulté tient dans ce passage d'une opération à l'autre.
Ce qu'on sait
- Vérifiée par ordinateur jusqu'à .
- **La version faible est démontrée** : Harald Helfgott a prouvé en 2013 que tout entier impair supérieur à 5 est somme de trois premiers.
- Chen Jingrun a montré en 1973 que tout entier pair assez grand est la somme d'un premier et d'un nombre ayant au plus deux facteurs premiers.
- Vinogradov l'avait démontrée pour les impairs assez grands dès 1937.
Ce qui compterait comme progrès
Réduire le « au plus deux facteurs » de Chen à un seul. Une méthode qui franchisse, là encore, la barrière de parité.
Pour commencer
L'article de Helfgott sur la conjecture ternaire, et le survol de Vaughan sur la méthode du cercle.
Contribuer
Déposez une solution — même partielle, même une piste qui échoue — avec le bouton « Proposer une solution » en bas de cette page. Elle sera signée à votre nom, datée, ancrée dans Bitcoin et rattachée à ce problème.
- une réduction, un cas particulier, une borne : ça compte
- un contre-exemple à une approche courante : ça compte aussi
- une objection argumentée à une solution déposée : ça compte encore
La preuve
✓Signature du club : valide
✓Contenu inchangé depuis le dépôt
✓Maillon de chaîne correct
✕Ancrage Bitcoin toujours pas confirmé après 5 jours — c'est anormal, et la preuve reste incomplète tant que ce n'est pas résolu
5aa923849913b2ab3358fd8f87429f357e940b39291048ce3bbcb6cbe16ffa0e
b260d895bdb984f5f05d9a20b63193c35545ba8bc0a95a2de1142b95fd54d7fc
Télécharger la preuve (.ots) Télécharger les octets signés
Vérifier vous-même, sans nous
Téléchargez les deux fichiers, puis : ots upgrade preuve.ots et ots verify preuve.ots -f octets-signes.txt avec le client officiel OpenTimestamps. La signature du club se vérifie avec la clé publique publiée sur /api/club/cle.
Comment citer ce dépôt
L'empreinte fait partie de la citation : elle permet à qui vous lit de vérifier que le dépôt cité est bien celui qu'il consulte.
Licence : Tous droits réservés — aucune réutilisation sans l'accord de l'auteur
Horizon Builder, « Conjecture de Goldbach : tout entier pair est-il la somme de deux nombres premiers ? », THOTH — Horizon Builder, dépôt n°9, 2026-09-09, SHA-256 5aa923849913b2ab3358fd8f87429f357e940b39291048ce3bbcb6cbe16ffa0e, https://horizonbuilder.space/registre/9BibTeX
@misc{thoth9,
author = {Horizon Builder},
title = {Conjecture de Goldbach : tout entier pair est-il la somme de deux nombres premiers ?},
howpublished = {THOTH --- Horizon Builder, dépôt no. 9},
year = {2026},
note = {SHA-256 5aa923849913b2ab3358fd8f87429f357e940b39291048ce3bbcb6cbe16ffa0e},
url = {https://horizonbuilder.space/registre/9}
}Vous avez une piste ?
Déposez votre solution, même partielle : elle sera signée à votre nom, datée, et rattachée à ce problème. Une piste qui ne marche pas mais qu'on peut lire vaut mieux qu'une idée que personne ne verra jamais.
Proposer une solution →Ce sont de simples liens : aucun script de réseau social n'est chargé sur cette page.
Commentaires
Aucun commentaire pour l'instant.
Les commentaires sont réservés aux membres du club. Demander ma carte de membre →