GPT-5.6 Sol Ultra et la preuve de la conjecture de la double couverture cyclique par 64 agents
OpenAI a publié un manuscrit de trois pages affirmant une preuve complète de la conjecture de la double couverture cyclique, un problème majeur non résolu en théorie des graphes remontant aux années 1970. Selon les chercheurs d'OpenAI Ethan Knight et Noam Brown, GPT-5.6 Sol Ultra a généré le résultat en moins d'une heure de temps réel tout en coordonnant jusqu'à 64 sous-agents parallèles. Codex avec GPT-5.6 Sol a ensuite été utilisé pour préparer la rédaction mathématique finale. OpenAI a également publié l'intégralité du prompt de deux pages.
GPT-5.6 Sol Ultra et la preuve par 64 agents de la conjecture du double recouvrement par cycles
Introduction
OpenAI a publié un manuscrit de trois pages revendiquant une preuve complète de la conjecture du double recouvrement par cycles, un problème ouvert majeur en théorie des graphes qui remonte aux années 1970.
Selon les chercheurs d'OpenAI Ethan Knight et Noam Brown, GPT-5.6 Sol Ultra a généré ce résultat en moins d'une heure de temps réel tout en coordonnant jusqu'à 64 sous-agents parallèles. Codex avec GPT-5.6 Sol a ensuite été utilisé pour préparer la rédaction mathématique finale.
OpenAI a également publié l'intégralité du prompt de deux pages. Ce document est précieux car il montre comment une tâche de recherche difficile peut être formulée pour un grand système multi-agents.
La réserve principale est simple : OpenAI a publié une preuve revendiquée, non pas un consensus mathématique validé par les pairs. Les spécialistes doivent encore vérifier l'argumentation de manière indépendante avant que la conjecture puisse être considérée comme formellement résolue.
Ce qu'OpenAI a annoncé
Ethan Knight a déclaré que GPT-5.6 Sol Ultra a produit une preuve de la conjecture du double recouvrement par cycles avec 64 sous-agents en moins d'une heure.
Noam Brown a souligné deux points :
- La configuration du modèle était accessible publiquement, et non limitée à un système de recherche interne.
- Le calcul parallèle en temps de test a réduit le temps écoulé pour une tâche qui aurait autrement nécessité un raisonnement séquentiel beaucoup plus long.
OpenAI décrit ultra comme le réglage de plus haute capacité de GPT-5.6. Il coordonne plusieurs agents à travers des flux de travail parallèles et échange une consommation de jetons plus élevée contre des résultats plus solides et un délai d'obtention plus rapide pour les tâches exigeantes.
Ce qui a été publié
| Document | Longueur | Objectif |
|---|---|---|
| Manuscrit de la preuve | 3 pages | Présente une preuve affirmative complète |
| Prompt complet | 2 pages | Définit le théorème, les critères d'achèvement, la stratégie de recherche, la gestion des agents et les exigences de révision |
Le manuscrit de la preuve indique que la preuve est entièrement due à GPT-5.6 Sol Ultra et que Codex avec GPT-5.6 Sol a été utilisé pour la rédaction.
Qu'est-ce que la conjecture du double recouvrement par cycles ?
Un graphe est une collection de sommets reliés par des arêtes.
Un cycle est un chemin fermé. Un pont est une arête dont la suppression augmente le nombre de composantes connexes.
La conjecture énonce :
Tout graphe fini sans pont possède une
collection de cycles dans laquelle chaque arête apparaît exactement deux fois.
Le mot « exactement » crée la difficulté. Ajouter un nouveau cycle peut corriger une arête insuffisamment couverte tout en faisant apparaître une autre arête trois fois.
Pourquoi les ponts sont exclus
Un pont ne peut appartenir à un cycle. Si une arête est la seule connexion entre deux parties d'un graphe, aucun chemin fermé valide ne peut l'inclure. Un double recouvrement par cycles est donc impossible lorsqu'un pont existe.
L'idée centrale de la preuve publiée
Le manuscrit ne recherche pas directement les cycles requis.
Il transforme le problème en un problème d'étiquetage d'arêtes sur un espace vectoriel fini, puis utilise l'algèbre linéaire pour montrer que les étiquettes locales peuvent être rendues globalement cohérentes.
Étape 1 : Réduction aux graphes cubiques
La preuve utilise une réduction standard attribuée à Jaeger. Il suffit de traiter les multigraphes cubiques sans boucles, où chaque sommet a exactement trois
arêtes incidentes.
Étape 2 : Attribuer une étiquette de flux non nulle
La preuve utilise l'espace vectoriel fini :
Γ = F₂³
Un flux non nul attribue un vecteur non nul à chaque arête tout en respectant une règle de conservation à chaque sommet.
Pour les étiquettes d'arêtes incidentes x, y et z :
x + y + z = 0
La preuve s'appuie sur le théorème établi selon lequel tout graphe sans pont admet un flux non nul sur ce groupe à huit éléments.
Étape 3 : Remplacer chaque étiquette par un ensemble à deux éléments
Chaque arête e reçoit un ensemble à deux éléments :
Pₑ ⊆ Γ
La règle locale cible est :
Pour tout sommet v et toute étiquette s ∈ Γ,
le nombre d'arêtes incidentes e avec s ∈ Pₑ est soit 0, soit 2.
Fixez une étiquette s et collectez toutes les arêtes dont l'ensemble la contient. Chaque sommet a alors un degré zéro ou deux dans ce sous-graphe, de sorte que les arêtes sélectionnées forment une union disjointe de cycles.
Comme chaque arête a deux étiquettes, elle appartient exactement à deux familles de cycles définies par les étiquettes. Cela crée une double couverture par cycles.
Étape 4 : Résoudre la cohérence globale
La construction locale doit s'accorder aux deux extrémités de chaque arête.
La preuve exprime cette condition comme un système linéaire :
tᵤ + tᵥ + εₑ f(e) = dₑ
Un argument d'espace dual et de parité est ensuite utilisé pour montrer que le système a toujours une solution.
Les ensembles locaux à deux éléments peuvent donc être combinés en une unique affectation globale, et les cycles requis en découlent automatiquement.
La stratégie en une phrase
La preuve ne construit pas les cycles un par un. Elle construit des étiquettes dont la structure de parité force l'apparition des cycles.
Pourquoi une vérification indépendante reste importante
Une preuve courte d'une célèbre conjecture ouverte nécessite une vérification attentive, qu'elle ait été rédigée par une personne ou par un système d'IA.
Les relecteurs doivent vérifier que :
- La réduction aux graphes cubiques s'applique exactement comme utilisé.
- Le théorème de flux non nul possède les hypothèses requises.
- L'étiquetage local gère toute configuration cubique valide.
- L'argument de dualité prouve la résolubilité complète.
- Les arêtes parallèles et les graphes déconnectés sont correctement traités.
- Aucune étape ne suppose une
forme équivalente de la conjecture.
Des articles antérieurs ont également prétendu fournir des preuves de la Conjecture de la Double Couverture par Cycles sans aboutir à une résolution largement acceptée. L'existence d'un manuscrit ne suffit donc pas en soi.
Une description prudente est :
GPT-5.6 Sol Ultra a produit un court manuscrit qu'OpenAI présente comme une preuve complète, et l'argument est désormais disponible pour un examen mathématique indépendant.
Ce que le prompt a fait différemment
Le prompt n'a pas prescrit une méthode de preuve unique. Il a créé un contrat de tâche.
Il a défini :
- Le théorème exact.
- Tous les termes importants et les cas limites.
- Ce qui comptait comme achèvement.
- Ce qui ne comptait pas comme achèvement.
- Comment les agents devaient explorer les alternatives.
- Quand une route devait être marquée comme bloquée.
- Comment les preuves candidates devaient être révisées.
- Quelles preuves chaque agent devait retourner.
- Quand l'agent racine pouvait s'arrêter.
Leçon de Prompt 1 : Définir l'achèvement, pas une procédure supposée
Pour une tâche difficile dont la voie de solution est inconnue, un flux de travail rigide peut encoder une mauvaise hypothèse.
Un prompt plus fort définit l'artefact final et les tests qu'il doit réussir.
Livrez un résultat complet qui satisfait à tous les critères d'acceptation ci-dessous.
Vous pouvez choisir et réviser le processus dynamiquement, mais la sortie finale doit
couvrir chaque cas énoncé et résister à un examen indépendant.
Leçon de Prompt 2 : Éliminer l'ambiguïté tôt
Le prompt définit la classe de graphes, les ponts, les cycles, les arêtes parallèles, les graphes déconnectés et la multiplicité exacte avant de demander une preuve.
Pour un travail commercial ou technique, l'équivalent consiste à définir :
- La plage de temps.
- La source de données.
- Le groupe d'utilisateurs.
- L'unité de mesure.
- Le format requis.
- Les hypothèses autorisées.
- Les cas exclus.
- Les limites d'approbation.
Leçon de Prompt 3 : Énoncer ce qui ne compte pas
Le prompt rejette :
- Les preuves uniquement pour des classes de graphes spéciales.
- Les couvertures où certaines arêtes n'apparaissent pas exactement deux fois.
- Les réductions à une autre conjecture non prouvée.
- La vérification uniquement jusqu'à une taille de graphe fixe.
- Les progrès partiels présentés comme une solution complète.
Cette technique empêche un agent de renvoyer quelque chose d'impressionnant mais incomplet.
Leçon de Prompt 4 : Préserver les voies de recherche indépendantes
L'agent racine a reçu pour instruction de commencer avec des approches véritablement différentes et de ne pas révéler la voie favorite à la plupart des agents trop tôt.
Cela réduit la convergence prématurée et la pensée de groupe.
Un portefeuille d'agents pratiques pourrait inclure :
| Famille d'agents | Responsabilité |
|---|---|
| Structurelle | Recherche de réductions et d'invariants |
| Algébrique | Traduire le problème en équations |
| Constructive | Construire l'objet requis directement |
| Computationnelle | Tester des cas et des lemmes proposés |
| Bibliographique | Vérifier les théorèmes standards |
| Adversaire | Rechercher des contre-exemples et des hypothèses cachées |
| Synthétiseur | Comparer et fusionner les résultats compatibles |
Leçon de Prompt 5 : Marquer les routes bloquées
Lorsqu'une route rencontre un lemme manquant aussi difficile que le problème original, elle doit être marquée comme bloquée.
Aucun agent supplémentaire ne doit être assigné à moins que quelqu'un n'introduise un mécanisme, un invariant, une construction ou un contre-exemple véritablement nouveau.
Cela évite de gaspiller des ressources de calcul sur une réduction élégante mais circulaire.
Leçon de Prompt 6 : Séparer la génération de la révision
Le prompt exige que les agents adversaries vérifient la multiplicité exacte, les cas d'arêtes parallèles, les graphes déconnectés, les fermetures de chemin invalides, et
raisonnement circulaire.
L'agent qui crée une solution ne doit pas être le seul à la juger.
Cela s'applique aux lancements de produits, aux analyses de données, aux migrations, aux audits de sécurité, ainsi qu'aux flux juridiques ou financiers.
Leçon de Prompt 7 : Exiger des Preuves Concrètes
Les sous-agents doivent fournir des lemmes, équations, constructions ou contre-exemples concrets. Les rapports vagues comme « direction prometteuse » n'étaient pas acceptés.
Une instruction réutilisable est :
Chaque agent doit renvoyer un artéfact qu'un autre agent peut inspecter.
N'acceptez pas de mises à jour d'état sans calculs, tests, sources,
code, exemples, ou un écart non résolu précisément énoncé.
L'Instruction de Huit Heures et le Résultat d'Une Heure
Le prompt demande au système de passer au moins huit heures avant d'envisager de s'arrêter ou d'abandonner. L'annonce d'OpenAI indique que la preuve a été produite en moins d'une heure.
Les documents publics ne précisent pas exactement comment cette instruction a été interprétée.
Une explication plausible est la différence entre le temps réel et le temps agrégé des agents. Avec 64 agents fonctionnant en parallèle, une heure de temps écoulé peut contenir de nombreuses heures de travail d'agents.
Il s'agit d'une inférence plutôt que d'une méthode comptable confirmée pour l'expérience.
Un Contrat Réutilisable pour Tâches Multi-Agents