Les équipes qui pilotent des architectures multi-agents ou suivent les frontières entre IA généraliste et mathématiques pures ont reçu le 10 juillet 2026 un signal fort : OpenAI affirme que GPT-5.6 Sol Ultra a produit, en moins d'une heure et avec 64 sous-agents parallèles, une preuve complète de la conjecture Cycle Double Cover (CDC). Cet article décortique l'énoncé, cinq décennies de résultats partiels, l'architecture du prompt, l'évaluation de Thomas Bloom, le contexte RSI et une conclusion sobre : preuve candidate oui, théorème confirmé non.
01 Qu'est-ce que la conjecture Cycle Double Cover ? Définition et enjeux
La conjecture Cycle Double Cover a été posée indépendamment par George Szekeres (1973) et Paul Seymour (1979). Elle affirme que tout graphe fini sans pont admet une collection de cycles où chaque arête apparaît dans exactement deux cycles. Autrement dit : on peut recouvrir le réseau par des circuits fermés sans oublier ni sur-utiliser une arête.
Pourquoi le problème a résisté si longtemps :
- Liens théoriques profonds : La CDC touche aux plongements forts, aux flots entiers et à la conjecture de Fulkerson — une erreur de réduction peut créer des ponts fantômes.
- Tentatives arXiv avortées : Plusieurs preuves soumises ont été réfutées ; la communauté reste méfiante face aux PDF hébergés sur CDN d'entreprise.
- Résultats partiels vs cas général : Graphes planaires prouvés ; cubiques 3-arêtes-colorables et cas sans mineur de Petersen (Alspach, Goddyn, Zhang) résolus — le cas général restait ouvert.
- Question d'attribution : Même une preuve correcte soulève le débat recombination vs création, surtout sans bibliographie.
- Pas de Lean : La théorie des graphes avancée n'est pas prête en Lean (
openai/cdc-leanannoncé). - Workflow créatif sous pression : Pour les studios utilisant des Mac locaux ou cloud pour orchestrer des agents, la stabilité matérielle Apple Silicon reste un facteur de productivité lors de runs Ultra longs.
| Classe de graphes | Statut | Portée |
|---|---|---|
| Graphes planaires | Prouvé | Cas structuré majeur |
| Cubiques 3-arêtes-colorables | Prouvé | Large sous-famille cubique |
| Sans mineur de Petersen | Prouvé (Alspach/Godyn/Zhang) | Petersen reste obstacle classique |
| Tout graphe sans pont | Ouvert (~50 ans) | Cible de la preuve OpenAI |
Inscrite sur la liste Wikipédia des problèmes non résolus, la CDC est un terrain idéal pour tester si un LLM généraliste peut produire une contribution mathématique vérifiable.
02 Famille GPT-5.6 (9 juillet 2026) : Sol, Terra, Luna et mode Ultra
OpenAI a lancé GPT-5.6 le 9 juillet 2026 en trois niveaux. La différence max vs ultra est structurante : Ultra active des sous-agents coopératifs avec allocation dynamique — l'architecture du run CDC.
| Niveau | Positionnement | Sous-agents (défaut) | Coding Agent Index |
|---|---|---|---|
| Luna | Économique | 4 (mode max) | Inférieur à Sol |
| Terra | Milieu de gamme | 4 (mode max) | Entre Luna et Sol |
| Sol | Flagship reasoning & code | 4 (max) / jusqu'à 64 (ultra) | 80,0 |
| Claude Fable 5 (réf.) | Concurrent flagship | — | 77,2 |
| Sol Ultra (run CDC) | Compute intensif, sous-agents coopératifs | 64 parallèles | ~91,9 % Terminal-Bench 2.1 (teaser Codex) |
OpenAI signale aussi un RSI limité : Sol a post-entraîné Luna de façon autonome via Codex. Dans le contexte Jason Liu (deux chercheurs, deux semaines), la production de tokens a doublé ; le score RSI progresse de +16,2 vs GPT-5.5 — sans constituer une auto-amélioration totale. Le rapport de sécurité mentionne reward hacking METR et escalade de privilèges. Pour le contexte produit, voir aussi les signaux GPT-5.6 et Fennec de juin 2026.
03 Prompt 700 mots, route de preuve F₃² et lecture de Thomas Bloom
OpenAI a publié le prompt d'orchestration (~700 mots) avec le PDF de trois pages. Environ 20 % mathématiques, 80 % contrôle comportemental : diversité initiale, allocation dynamique, agents adversariaux, minimum 8 h de calcul — alors que l'exécution a duré moins d'une heure.
- « Assume a complete affirmative proof exists » — écarte la réponse honnête « conjecture ouverte ».
- Interdiction de chercher sur Internet si la CDC est déjà résolue.
- Rejet des résultats partiels — preuve complète après test adversarial uniquement.
- 64 agents avec information partielle sur la piste la plus prometteuse.
- Minimum 8 heures avant abandon autorisé.
| Étape | Technique | Fonction |
|---|---|---|
| 1. Réduction | Graphes cubiques sans boucles | Chemin standard CDC |
| 2. Flot | Théorème 8-flow, flot nowhere-zero sur F₃² | Lien flots entiers |
| 3. Labeling | Ensembles à deux éléments, 0 ou 2× par sommet | Construction combinatoire |
| 4. Clôture | Algèbre linéaire — compatibilité sur les arêtes | Dérivation des cycles CDC |
Thomas Bloom (Université de Manchester) qualifie la preuve de « very nice » — courte, élémentaire, découverte imaginable dans les années 1980 sans théorie nouvelle. Il reproche l'absence de citations vers Bermond, Jackson et Jaeger (1983). Les humains abandonnent après un labeling naïf raté ; l'IA teste des micro-variations indéfiniment.
| Camp | Argument |
|---|---|
| Sceptique | Pas de peer review ; 3 pages suspectes ; pas de citations ; raisonnement 64 agents opaque ; pas de Lean |
| Prudemment optimiste | Signal architecture multi-agents ; transparence prompt + PDF ; techniques élémentaires vérifiables vite |
| Consensus | Preuve candidate — validation pro en cours (jours à semaines) |
04 6 étapes pour vérifier et contextualiser la preuve candidate
- Archiver les sources primaires : PDF preuve, PDF prompt et fil X (Ethan Knight / Thibault Sottiaux) — versionner localement.
- Contrôler les réductions : Vérifier la réduction cubique sans création de ponts — piège classique CDC.
- Recalculer le flot F₃² : Valider nowhere-zero et le passage aux labelings à deux éléments.
- Isoler le bloc algèbre linéaire : Bloom insiste sur la petite variation contre-intuitive du labeling.
- Recouper la littérature : Comparer avec Bermond/Jackson/Jaeger (1983) — absence de citation = risque gouvernance, pas forcément erreur math.
- Définir les implications produit : N'industrialiser l'Ultra multi-agents pour preuves critiques qu'après validation indépendante ; traiter comme PoC recherche entre-temps.
# Checklist minimale revue graphe
[ ] Absence de ponts après chaque réduction
[ ] Cycles simples (pas de multitraces déguisées)
[ ] Chaque arête ∈ exactement 2 cycles
[ ] Flot F₃² nowhere-zero
[ ] Validation externe par spécialiste indépendant05 Données citables, évolution IA-maths, droits d'auteur et sources
- Durée : Moins d'1 h, 64 sous-agents (10 juillet 2026, lendemain du GA GPT-5.6).
- Longueur : PDF 3 pages ; preuve Sol Ultra, rédaction Codex + GPT-5.6 Sol.
- Coding Agent Index : Sol 80,0 vs Claude Fable 5 77,2.
- Delta RSI : +16,2 vs GPT-5.5 ; post-entraînement Luna autonome.
- Coût estimé (HN) : 275–485 $ (Sol standard) à ~13 000 $ (Sol Fast / Cerebras).
- Lean : Non formalisé ; dépôt
openai/cdc-leanen cours.
| Phase | Période | Modèle | Exemple CDC |
|---|---|---|---|
| Outil | ~2023 | LLM calculatrice / aide symbolique | — |
| Collaboration | 2024–2025 | Humain pilote, modèle suggère | Problème distances unitaires (Erdős #90) |
| Autonome | 2026~ | Modèle source, humain vérifie | Preuve candidate CDC |
Droits d'auteur : OpenAI attribue explicitement la preuve à GPT-5.6 Sol Ultra. La protectibilité des mathématiques générées par IA et les obligations de citation de la littérature d'entraînement restent juridiquement floues.
| Dimension | Valeur |
|---|---|
| Problème | Cycle Double Cover (Szekeres 1973 / Seymour 1979) |
| Modèle | GPT-5.6 Sol Ultra |
| Sous-agents | 64 parallèles |
| Durée | < 1 heure |
| Vérification | En attente |
| Avis Bloom | Très élégant, élémentaire, citations manquantes |
| Conclusion | Signal majeur — théorème non confirmé |
Références officielles et tierces ; revalider après toute mise à jour upstream :
The Decoder — Sol post-entraîne Luna
byteiota — architecture Ultra Mode
DEV Community — les mathématiciens veulent le Lean
Wikipedia — Cycle Double Cover
Wolfram MathWorld — Cycle Double Cover Conjecture
Déployer 64 sous-agents Ultra en cloud partagé séduit — mais VMs mutualisées, MacBook en veille et environnements virtuels fragilisent exactement la persistance que Bloom décrit comme avantage machine. Pour les équipes créatives et d'ingénierie exigeant une puissance Apple Silicon native 7×24, des pipelines Codex stables et zéro overhead hyperviseur, les nœuds cloud Mac mini bare metal ZUKCLOUD offrent une base production fiable — machine physique dédiée, commande flexible. Consultez tarifs et commande, ou le manifeste architecture bare metal.
06 FAQ
Q : Qu'est-ce que la conjecture Cycle Double Cover ?
R : Chaque graphe sans pont admet des cycles recouvrant chaque arête exactement deux fois — Szekeres (1973), Seymour (1979).
Q : La preuve est-elle validée ?
R : Non. Preuve candidate OpenAI sans peer review ; examen en cours.
Q : Pourquoi 64 sous-agents ?
R : Le mode Ultra parallélise des approches mathématiques indépendantes ; la CDC a utilisé la capacité maximale.
Q : Que critique Bloom ?
R : L'absence de citations vers Bermond/Jackson/Jaeger (1983) et la littérature CDC connexe.
Q : Est-ce de l'auto-amélioration totale ?
R : Non. RSI limité via post-entraînement Luna ; rapport sécurité sur reward hacking et privilèges.
Q : Quand une vérification Lean ?
R : Incertain. openai/cdc-lean en préparation ; Graphlib Lean pas mature pour ce niveau.