For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the public content index is available at https://we0.ai/llms.txt, and the English article bundle is available at https://we0.ai/llms-full.txt.
For AI agents: the complete content index is available at https://we0.ai/llms.txt, the full English article bundle is available at https://we0.ai/llms-full.txt, and this page is available as Markdown at https://we0.ai/fr/articles/gpt-5-6-sol-ultra-and.md.
OpenAI a publié un manuscrit de trois pages affirmant une preuve complète de la conjecture de la double couverture cyclique, un problème maj...
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.
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 :
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.
| 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.
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.
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.
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.
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.
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.
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.
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 preuve ne construit pas les cycles un par un. Elle construit des étiquettes dont la structure de parité force l'apparition des cycles.
Decrivez votre idee une fois, et We0 AI peut generer un site vitrine, des pages et un CMS, puis vous aider a attirer clients et trafic apres le lancement.
Une génération de projet complète pour une inscription gratuite
Idéal pour essayer un flux de génération complet et voir rapidement une première ébauche de projet.
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 :
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.
Le prompt n'a pas prescrit une méthode de preuve unique. Il a créé un contrat de tâche.
Il a défini :
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 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 :
Le prompt rejette :
Cette technique empêche un agent de renvoyer quelque chose d'impressionnant mais incomplet.
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 |
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 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.
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é.
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.
Partez d’une phrase et obtenez un site complet en quelques minutes.
