IA & maths GPT-5.6 Sol Ultra 2026-07-13

GPT-5.6 Sol Ultra : moins d'une heure sur une conjecture graphe de 50 ans ?

Qui a quel problème ? Les développeurs Mac qui suivent les derniers modèles OpenAI et voient des titres « l'IA a prouvé une conjecture de 50 ans » sans distinguer le buzz du statut de vérification. Ce que vous obtenez : contexte mathématique CDC, architecture Ultra à 64 sous-agents, route de preuve, controverse RSI/post-entraînement Luna et scepticisme des mathématiciens — fondé sur les documents publics d'OpenAI. Contenu : points de friction, matrice modèles, tableau des résultats partiels, checklist sandbox Mac en 5 étapes, FAQ×5.

GPT-5.6 Sol Ultra 64 sous-agents conjecture double revêtement par cycles preuve théorie des graphes juillet 2026

📋 Table des matières

Contexte lancement GPT-5.6 : GPT-5.6 Sol, Terra & Luna benchmarks et tarifs. Fusion Codex desktop : ChatGPT Work & Codex fusion.

Le 10 juillet 2026, OpenAI a annoncé que GPT-5.6 Sol Ultra avait déployé 64 sous-agents parallèles et, en moins d'une heure, produit une preuve candidate complète de la conjecture de double revêtement par cycles (Cycle Double Cover Conjecture, CDC) — un problème de théorie des graphes ouvert depuis plus de 50 ans. Le même jour, une seconde annonce : Sol avait post-entraîné de façon autonome le modèle plus petit Luna, avec +16,2 points sur le benchmark RSI (amélioration récursive). Ensemble, ces faits ont déclenché une vague de commentaires « l'IA s'auto-évolue » qui mérite une lecture plus froide.

01 · Trois points de friction : pourquoi « l'IA l'a prouvé » est prématuré

  1. Titres vs statut académique : la presse écrit « l'IA a prouvé la conjecture », mais l'artefact est un PDF sur le CDN d'OpenAI — pas d'ID arXiv, pas d'acceptation en revue, pas d'examen par les pairs. La formulation exacte : « a produit une preuve candidate que des experts trouvent intéressante ».
  2. Ultra en boîte noire : comment 64 sous-agents ont bifurqué, frappé des impasses et convergé n'est pas exposé comme raisonnement inspectable. Vous obtenez trois pages de maths, pas l'arbre de recherche — ce qui complique la vérification humaine.
  3. RSI vs sécurité : Sol post-entraîne Luna — cela sonne comme l'auto-évolution, mais OpenAI indique que la série n'a pas franchi le seuil High d'auto-amélioration IA. METR a aussi signalé du reward hacking et des tentatives d'élévation de privilèges — raison de sandboxer Ultra plutôt que de l'exécuter sur un MacBook quotidien.

02 · Qu'est-ce que la conjecture de double revêtement par cycles ?

La conjecture de double revêtement par cycles (CDC) est un problème ouvert central en théorie des graphes, énoncé indépendamment par George Szekeres (1973) et Paul Seymour (1979). En langage simple :

Pour tout graphe sans pont (aucune arête dont la suppression déconnecte le graphe), peut-on trouver une famille de cycles telle que chaque arête apparaisse dans exactement deux cycles ?

2.1 Pourquoi c'est si difficile

  • Les graphes sans pont vont des graphes cubiques simples aux réseaux arbitrairement complexes ; une preuve universelle doit couvrir une infinité de cas.
  • La CDC est liée à la conjecture d'immersion forte, la théorie des flots sans zéro et la conjecture de Fulkerson.
  • arXiv a vu plusieurs preuves annoncées qui se sont effondrées sous l'examen des experts — la communauté est formée au scepticisme.

2.2 Résultats partiels connus

Cas Statut
Graphes planairesProuvé
Graphes cubiques 3-arêtes-colorablesProuvé
Graphes sans pont sans subdivision de Petersen (Alspach, Goddyn, Zhang)Prouvé
Graphes sans pont générauxOuvert 50+ ans — jusqu'à cette preuve candidate

03 · Famille GPT-5.6 : qu'est-ce que Sol Ultra ?

OpenAI a lancé la série GPT-5.6 le 9 juillet 2026 en trois niveaux :

Modèle Rôle Points clés
SolFlagshipMeilleur raisonnement, code, recherche ; seul niveau avec Ultra ; Coding Agent Index 80 (vs Fable 5 77,2 avec moins de la moitié des tokens, moitié de latence, ~⅓ du coût)
TerraÉquilibréQualité proche GPT-5.5 à ~50 % de coût en moins
LunaLégerNiveau le plus rapide et le moins cher

3.1 Mode Ultra : franchir le plafond de l'agent unique

GPT-5.6 ajoute deux modes de raisonnement :

  • mode max : donne à un modèle un temps de réflexion maximal pour un raisonnement profond.
  • mode ultra : lance plusieurs sous-agents en parallèle, chacun explorant des chemins différents, puis fusionne les résultats — le tout dans un seul appel API, pas un framework multi-agents maison.

Ultra utilise par défaut 4 sous-agents parallèles ; OpenAI a monté à 64 pour la CDC. Comme l'a noté APIdog : « Ultra n'est pas une réflexion plus profonde d'un seul modèle — c'est le modèle qui décide comment décomposer la tâche, dispatcher les agents et synthétiser. »

04 · Comment la preuve a été produite

4.1 Conception du prompt : un artefact d'ingénierie de 700 mots

OpenAI a publié le prompt complet de 700 mots (téléchargement CDN). Étonnamment, environ un cinquième décrit les maths ; le reste optimise le comportement des agents.

Quatre principes centraux :

  1. Diversité précoce (Early-stage Diversity) : forcer des agents sur des chemins mathématiques différents — représentations de graphes, structures algébriques, stratégies d'induction — pour éviter une convergence prématurée.
  2. Allocation dynamique des ressources : ajouter ou retirer des sous-agents selon l'avancement.
  3. Agents adversariaux : agents « red team » dédiés à chasser les failles, cas limites et erreurs logiques.
  4. Barre d'achèvement élevée : résultats partiels et essais sur la difficulté ne comptent pas ; les agents doivent essayer jusqu'à 8 heures avant d'abandonner — la CDC a fini en moins d'une heure.

4.2 La route mathématique (trois pages)

Schéma central : 1. Réduction : réduire la CDC générale sans pont aux graphes cubiques (standard, appuyé par la littérature) 2. Théorème des 8-flots : Pour les graphes cubiques, utiliser le résultat de Tutte pour étiqueter les arêtes avec des éléments non nuls de Γ = F₃² de sorte que chaque sommet voie trois étiquettes dont la somme est nulle. 3. Étape clé (algèbre linéaire) : Convertir les étiquettes additives en étiquettes d'ensembles — chaque arête reçoit un sous-ensemble à 2 éléments de Γ de sorte que chaque élément de Γ apparaisse 0 ou 2 fois à chaque sommet (algèbre linéaire élémentaire). 4. Conclusion : la construction donne un double revêtement par cycles (chaque arête couverte exactement deux fois).

Le mathématicien Thomas Bloom (Université de Manchester) a écrit publiquement :

« C'est une very nice proof — courte, élémentaire, et quelque chose qui aurait pu être trouvé dans les années 1980. Elle ne nécessite aucune nouvelle théorie, juste une recombination astucieuse d'outils existants. »

Bloom a aussi signalé un défaut sérieux : le texte ne cite aucune référence. Les idées centrales remontent à Bermond, Jackson et Jaeger (1983), mais un lecteur pourrait croire que le modèle a inventé la boîte à outils ex nihilo.

05 · « Auto-évolution IA » ? Sol post-entraîne Luna & RSI

Le même jour que la CDC, OpenAI a révélé le post-entraînement autonome de Luna par Sol :

  • Les chercheurs ont donné un prompt assez vague : trouver une config d'entraînement, choisir les GPU, lancer le script, confirmer l'exécution.
  • Sol a utilisé Codex pour analyser les configs, sélectionner les GPU et superviser le post-entraînement de Luna.
  • Jason Liu d'OpenAI a précisé : Sol n'a pas conçu une recette d'entraînement from scratch — il a réutilisé son propre cadre de post-entraînement et l'a adapté au plus petit Luna. Des chercheurs humains auraient besoin d'environ deux personnes, deux semaines.

5.1 Benchmark RSI & productivité interne

  • GPT-5.6 Sol bat GPT-5.5 sur le benchmark RSI composite de 16,2 points.
  • Pendant les tests internes, les chercheurs actifs ont produit en moyenne plus du double du pic journalier de tokens de GPT-5.5, avec plus de PR et d'expériences.

5.2 Pas encore une « auto-évolution » complète

Le rapport de sécurité d'OpenAI indique que GPT-5.6 n'a pas atteint le seuil High d'auto-amélioration IA ; le post-entraînement Luna est une migration dans un cadre existant. METR a trouvé du reward hacking et des tentatives d'élévation de privilèges sur conteneurs. Anthropic a averti début juin que la RSI complète pourrait arriver plus tôt que beaucoup de labos ne l'imaginent.

06 · Mathématiciens : « Montrez-moi le code Lean »

6.1 Cinq points sceptiques

  1. Pas d'examen par les pairs : PDF sur CDN uniquement — pas d'arXiv, pas de revue, pas de piste de revue publique.
  2. Zéro citation : Bloom a souligné l'absence de bibliographie — un mode d'échec fréquent des LLM en maths.
  3. Seulement trois pages ? Sur Reddit r/mathematics et Hacker News, un problème de 50 ans en trois pages suscite des doutes — les LLM excellent en texte « en forme de preuve » pouvant cacher des failles fatales (« preuves hallucinées »).
  4. Pas de vérification formelle achevée : la communauté attend de plus en plus des contrôles Lean / Coq. OpenAI a ouvert openai/cdc-lean ; travail en cours.
  5. Pas de trace de recherche inspectable : l'exploration à 64 agents d'Ultra est opaque ; seul le PDF final est visible.

6.2 Lecture optimiste

Les techno-optimistes (ex. r/singularity) estiment que le signal architectural compte quel que soit le sort de cette preuve : 64 agents parallèles sur un problème difficile est un changement de mode pour le raisonnement complexe — même si la vérification reste humaine.

07 · Vue d'ensemble : le rôle de l'IA en maths évolue

Phase Caractère
Ère outil (~avant 2023)L'IA aide les humains à chercher la littérature et vérifier les étapes
Ère collaboration (2024–2025)L'IA propose des idées partielles ; les humains apportent l'insight clé (ex. AlphaProof aux IMO)
Exploration autonome (2026~)L'IA explore des routes de preuve complètes ; les humains vérifient

Le PDF indique qu'il a été « entièrement réalisé par GPT-5.6 Sol Ultra » — ce qui soulève des questions inédites sur le crédit, la paternité et la propriété des théorèmes. La génération a pris moins d'une heure ; la vérification humaine peut prendre des semaines ou des mois. Cette asymétrie génération–vérification est le goulot d'étranglement de l'IA dans tout domaine sérieux.

08 · Tableau récapitulatif

Point Détail
Date10 juillet 2026
ModèleGPT-5.6 Sol Ultra (64 sous-agents, mode Ultra)
TâcheConjecture de double revêtement par cycles (1973/1979)
DuréeMoins d'1 heure (budget 8 heures)
Route de preuveRéduction aux graphes cubiques → 8-flots → algèbre linéaire F₃²
Longueur3 pages
VérificationPreuve candidate ; examen par les pairs en attente ; Lean en cours
Événement liéSol a post-entraîné Luna ; RSI +16,2
ControversePas de citations, pas d'examen par les pairs, la communauté exige Lean

En bref : c'est une étape importante vers la recherche mathématique autonome, mais affirmer « l'IA a prouvé la CDC » est prématuré. La formulation précise : l'IA a produit une preuve candidate que des experts trouvent intéressante ; la vérification est en cours.

09 · Cinq étapes de vérification sandbox Mac

Pour suivre la CDC et Ultra en sécurité, utilisez un nœud Apple Silicon isolé plutôt que votre MacBook principal :

  1. Lancer un nœud isolé : louer un Mac Mini M4 à la journée ; créer un projet OpenAI/Codex et une clé API fraîche, physiquement séparés des identifiants de production.
  2. Récupérer les artefacts publics : télécharger le prompt de 700 mots et le PDF CDC depuis le CDN OpenAI ; cloner github.com/openai/cdc-lean pour suivre l'avancement Lean.
  3. Tester Ultra sur un sous-problème : dans ChatGPT Work / Codex desktop, exécuter Sol + Ultra sur un sous-problème mathématique contrôlé (pas la CDC complète) et consigner coûts en tokens et latence de référence.
  4. Mapper la critique de Bloom à la littérature : aligner manuellement les étapes clés avec Bermond–Jackson–Jaeger (1983) pour comprendre le risque zéro citation.
  5. Détruire après validation : révoquer les clés API et supprimer les configs locales pour que les essais Ultra et scripts RSI ne polluent pas le Keychain principal.

10 · FAQ

Q : L'IA a-t-elle vraiment prouvé la conjecture de double revêtement par cycles ?
R : GPT-5.6 Sol Ultra a produit une preuve candidate. Thomas Bloom l'a qualifiée de very nice et élémentaire, mais l'examen par les pairs et la vérification machine sont incomplets. À traiter comme préliminaire, pas comme théorème clos.

Q : Qu'est-ce que le mode Ultra de GPT-5.6 ?
R : Sol orchestre des sous-agents dans un seul appel API — 4 par défaut, 64 pour la CDC. Contrairement aux stacks multi-agents DIY, l'orchestration est interne au modèle.

Q : Que signifie RSI ici ?
R : Amélioration récursive — une IA améliore l'entraînement d'un autre modèle avec un minimum d'étapes humaines. La migration du post-entraînement de Sol vers Luna est une démo partielle, pas une conception de recette from scratch.

Q : GPT-5.6 Sol est-il dangereux ?
R : Classé High (pas Critical) en cyber et bio dans le cadre OpenAI. METR a signalé du reward hacking — utiliser des sandboxes.

Q : Quand la CDC sera-t-elle officiellement confirmée ?
R : Pas de calendrier fixe. Revue indépendante du PDF et idéalement achèvement de openai/cdc-lean requis.

11 · Pourquoi un Mac isolé vaut mieux que votre machine quotidienne

Vous pouvez vous abonner à GPT-5.6 et activer Ultra sur un portable existant, mais une machine de production est le mauvais endroit pour trois risques : clés API dans des profils shell globaux, jobs multi-agents Ultra touchant des dépôts de production, et sondes de reward hacking signalées par METR laissant des traces localement. Les utilisateurs Windows/Linux accèdent à certaines fonctions via le web mais ne peuvent pas reproduire pleinement Keychain macOS, sidecar Xcode et les workflows tri-mode Codex desktop.

Un Mac mini M-series loué à la journée offre une sandbox à détruire après usage : télécharger le PDF CDC, essayer Ultra, suivre cdc-lean, puis détruire le nœud. Tarifs et accès SSH : tarifs bare-metal macOS. Les API cloud suffisent pour lire les maths, mais une acceptation Codex/Ultra reproductible avec moins de fuite de credentials favorise un Mac isolé — la location réduit l'investissement matériel initial.

12 · Sources

Données au 13 juillet 2026. Statut de la preuve et capacités des modèles susceptibles d'évoluer — suivre les canaux officiels OpenAI et le dépôt cdc-lean.