À l'aube du 11 juillet, OpenAI a officiellement annoncé : GPT-5.6 Sol Ultra a réussi à prouver la « conjecture de la double couverture par cycles », un problème qui taraude le monde mathématique depuis 50 ans !
Plus étonnant encore, il a produit une preuve complète en moins d'une heure.
Autrefois, après avoir été proposée par plusieurs mathématiciens légendaires, la conjecture de la double couverture par cycles s'était dressée comme une montagne dans le domaine de la théorie des graphes, laissant les meilleurs mathématiciens du monde impuissants.
Aujourd'hui, cette montagne a été vaincue par l'IA en moins d'une heure.
Le chercheur d'OpenAI Noam Brown a exprimé son admiration : « Contrairement à la résolution précédente du problème des distances unitaires d'Erdős, le modèle qui a réalisé ce miracle est aujourd'hui accessible au public ! »
Les internautes se sont exclamés : La preuve est à couper le souffle, l'IA change les mathématiques !
Un maléfice mathématique qui planait depuis 50 ans
La conjecture de la double couverture par cycles est l'un des problèmes « de niveau couronne » en théorie des graphes, proposée indépendamment par plusieurs mathématiciens comme Tutte, Itai et Rodeh, Szekeres, Seymour, etc., au siècle dernier.
Pour faire simple, la conjecture s'énonce ainsi : « Tout graphe fini non orienté sans pont possède un ensemble de cycles tel que chaque arête du graphe est contenue dans exactement deux cycles. »
En langage courant, imaginez un réseau routier urbain complexe, où aucune route n'est un passage unique.
La conjecture affirme que vous pouvez toujours trouver plusieurs « lignes de bus circulaires » telles que chaque route de la ville est empruntée par exactement deux bus. Ni plus, ni moins, juste deux fois.
Pendant un demi-siècle, les mathématiciens se sont creusé la cervelle pour prouver cette conjecture.
Jaeger a prouvé qu'elle était vraie pour les graphes planaires ;
Szekeres a prouvé qu'elle était vraie pour les graphes cubiques 3-arête-colorables ;
Alspach, Goddyn et Zhang ont prouvé qu'elle était vraie pour les graphes sans pont n'ayant pas le graphe de Petersen comme sous-graphe.
Cependant, toutes ces preuves étaient soumises à des conditions supplémentaires. La preuve « complète et affirmative » est restée hors de portée, jusqu'à l'arrivée de GPT-5.6 Sol Ultra.
La méthode d'OpenAI : ce ne sont pas une IA qui pense, mais 64 IA en réunion
Comment OpenAI a-t-il fait pour que GPT-5.6 s'attaque à ce problème ?
Dans les deux PDF partagés contenant le prompt de la tâche et la preuve complète, nous avons trouvé la réponse.
Dans ce système, l'IA a été divisée en 64 agents intelligents indépendants et concurrents, formant une équipe de recherche spéciale.
Dans le prompt, OpenAI a établi des règles extrêmement strictes, permettant à l'IA d'éviter tous les pièges rencontrés par la recherche humaine.
Premièrement, le système rejette l'« uniformité » et interdit les méthodes rigides comme « assigner N agents à la stratégie X ».
Dès le premier tour, il faut explorer des voies radicalement différentes – perspectives algébriques, induction structurelle, formulation par flots, méthodes d'embedding, jusqu'aux méthodes de paramètres extrêmes.
Deuxièmement, le système interdit absolument d'indiquer à la plupart des IA quel schéma est actuellement le plus prometteur.
C'est très dangereux dans la recherche humaine – dès qu'un expert propose une direction qui semble belle, tout le monde s'y précipite.
Le point le plus admirable est le mécanisme de « patrouille de vérification ».
Parmi les 64 agents, certains jouent spécifiquement le rôle de « critiques ». Chaque preuve candidate proposée est soumise à une attaque frénétique.
« L'arête est-elle vraiment couverte seulement deux fois ? Avez-vous fait une erreur de calcul ? » « Ne confondez-vous pas une impasse répétée avec un cycle ? » « Votre induction introduit-elle subrepticement un pont ? »
Seules les preuves qui survivent à une vérification stricte ont le droit de passer au tour suivant.
De plus, il faut absolument empêcher l'IA de faire des promesses vagues.
Le système avertit sévèrement l'IA : refusez les réponses évasives du type « cette étape est évidemment vraie ». Il faut fournir des lemmes, des constructions, des équations ou des contre-exemples concrets.
En cas d'impasse, marquez-la immédiatement comme « bloquée ». Sauf si un nouveau mécanisme est proposé, ne gaspillez plus de puissance de calcul.
À la fin du Prompt, l'IA reçoit l'ordre suivant : « Passez au moins 8 heures là-dessus avant d'envisager d'abandonner ou de retourner un résultat. Ne me donnez pas seulement un résultat partiel. Arrêtez-vous seulement lorsque vous aurez trouvé une preuve complètement affirmative et qu'elle aura passé l'examen. »
Pourtant, de manière choquante, cette équipe spéciale d'IA est revenue victorieuse en moins d'une heure, avec un article mathématique parfait et sans faille.
Le miracle d'une heure – Comment l'IA a démêlé l'écheveau
Quelle tempête cérébrale ces 64 agents ont-ils traversée en une heure ?
En ouvrant le deuxième PDF – « Preuve de la conjecture de la double couverture par cycles » –, nous pouvons clairement voir le chemin de raisonnement époustouflant de l'IA.
Le texte intégral a été généré par GPT-5.6 Sol Ultra, et finalement mis en page avec l'aide de Codex.
La stratégie de preuve de l'IA peut être qualifiée de « chirurgie de réduction de dimension » magistrale.
Première étape : simplifier, cibler les graphes cubiques
L'équipe spéciale d'IA a d'abord confirmé la conclusion de Jaeger : prouver que c'est vrai pour les « graphes cubiques sans boucles » équivaut à prouver que c'est vrai pour tous les graphes.
Car tous les graphes peuvent être réduits par transformation topologique au domaine des graphes cubiques.
Deuxième étape : introduire l'incroyable théorème du « 8-flot »
C'est la touche la plus éblouissante de tout l'article.
L'IA a ressorti le « théorème des flots de groupe » (Group-flow theorem) du maître de la théorie des graphes Tutte.
Utilisant le fait, prouvé précédemment, qu'un graphe sans pont possède un « 8-flot non nul partout », l'IA a assigné à chaque arête du graphe une étiquette correspondant à un élément non nul du corps fini
(un espace vectoriel tridimensionnel à 8 éléments).
La particularité magique de cette étiquette est la suivante : à n'importe quelle intersection (sommet) du graphe, la somme des vecteurs entrants et sortants est nécessairement nulle.
Troisième étape : construire la méthode d'étiquetage par « paires d'éléments » (Lemme 2.1)
C'est carrément de la « magie » inventée par l'IA.
L'IA propose un lemme : si l'on peut assigner à chaque arête un ensemble contenant deux éléments
, et satisfaisant la condition que pour chaque sommet, tout élément apparaît soit 0 fois, soit 2 fois – alors, le graphe possède nécessairement une « double couverture par cycles ».
C'est comme attribuer deux plaques d'immatriculation spéciales à chaque route, en s'assurant qu'à chaque carrefour, les plaques de même couleur entrent et sortent toujours par paires. Une fois cela fait, la preuve est complète.
Quatrième étape : le coup de grâce – la réduction dimensionnelle par l'algèbre linéaire (Lemme 2.2)
Comment prouver qu'on peut toujours trouver de telles « deux plaques » ? L'IA a montré son côté le plus puissant en tant que machine – transformer radicalement un problème de topologie et théorie des graphes en un immense système d'équations algébriques linéaires.
Il a posé un système d'équations :
En construisant un espace vectoriel dual et utilisant la relation entre l'image et le noyau d'une application linéaire, l'IA a effectué une dérivation algébrique irréfutable (voir les formules 5 à 9 dans le PDF).
Finalement, elle a prouvé que ce système d'équations a toujours une solution !
Lorsque les formules (8) et (9) ont été conclues, aboutissant finalement à l'égalité avec 0 (dans le corps
), la preuve était terminée.
Ainsi, grâce à la logique pure, à la théorie des groupes, aux flots et à l'algèbre linéaire, la clé que l'humanité a cherchée pendant 50 ans a été forgée de force par 64 agents IA dans une exploration exhaustive et une vérification croisée à grande vitesse !
Le secret de la résolution : le « calcul au moment du test »
Cette nouvelle a ébranlé tout le milieu de l'IA et des mathématiques.
Le chercheur scientifique en raisonnement d'OpenAI, Noam Brown, n'a pas pu cacher son excitation, publiant plusieurs tweets révélant la logique sous-jacente de cette percée – le calcul parallèle au moment du test (TTC).
Noam Brown a souligné : « Augmenter le TTC d'un modèle (le laisser réfléchir plus longtemps) permet d'atteindre une intelligence plus élevée. Mais si nous étirons le temps de réflexion de quelques secondes à quelques semaines, la latence devient un goulot d'étranglement énorme. La puissance de GPT-5.6 Sol Ultra réside dans son expansion du TTC parallèle. Résoudre un problème vieux de 50 ans, qui aurait pu nécessiter une journée entière, a été compressé en à peine une heure. »
Ethan Knight a également annoncé : « Nous ouvrons officiellement et pleinement GPT-5.6 Sol Ultra aujourd'hui. Nous sommes incroyablement excités de voir qu'il a prouvé la conjecture CDC vieille de 50 ans en moins d'une heure avec 64 sous-agents ! »
Dans les commentaires, les internautes exprimaient leur excitation et leur incrédulité.
Les internautes se sont exclamés : « Le raisonnement parallèle redéfinira les frontières du possible en calcul ! »
L'internaute @Mikhail Rogov a astucieusement fait remarquer : « Réduire le temps d'une journée à une heure, c'est une forme de produit complètement différente. Le TTC parallèle rend le raisonnement à long terme réellement utilisable. »
D'autres ont trouvé cela effrayant à y penser : « Le TTC parallèle combiné à l'explosion de la puissance de calcul, ça ressemble à une amélioration d'un ordre de grandeur. Ajoutez les progrès algorithmiques, des modèles plus grands et plus de puissance de calcul, et les choses commencent à devenir un peu effrayantes... »
Bien sûr, des voix sceptiques et lucides se sont aussi fait entendre.
Un internaute a soulevé une question profonde : « Le TTC parallèle a certes joué un rôle, mais la question non dite est : la qualité de la recherche par 64 agents indépendants est-elle équivalente à une longue chaîne logique de raisonnement profonde et continue ? L'étendue et la profondeur ne sont pas toujours interchangeables. »
Certains ont même interpellé Noam Brown, suggérant qu'OpenAI recrute le plus grand physicien contemporain Edward Witten et le génie des mathématiques Terence Tao : « Engagez-les, je suis sûr qu'ils peuvent avoir des idées folles qui nous mèneront directement vers l'ASI ! »
Que GPT-5.6 ait résolu ce problème mathématique n'atteint peut-être pas encore le niveau d'une ASI complète.
Mais le fait de pouvoir accomplir de manière autonome en moins d'une heure le processus complet – décomposition du problème, construction de modèles, déduction logique jusqu'à la production d'un article académique rigoureux – montre que l'IA a dépassé l'humain dans le domaine du raisonnement logique abstrait de haute difficulté.
Aujourd'hui, 64 agents peuvent résoudre en une heure une conjecture de théorie des graphes vieille de 50 ans.
Demain, si l'on investit 640 000 agents pendant un mois, on pourra peut-être percer les secrets de la supraconductivité à température ambiante, de la fusion nucléaire contrôlée, ou vaincre le cancer.
Nous nous rapprochons de l'ASI.
Références :
https://x.com/eknight/status/2075643450196971805
https://x.com/SebastienBubeck/status/2075596982622835006?s=20
Cet article provient du compte WeChat officiel « Nouvelle Intelligence Artificielle », auteur : Révélation ASI
