GPT-5.6 Sol prouve une conjecture vieille de 50 ans sur les cycles à double recouvrement
Le nouveau modèle GPT-5.6 Sol a généré la preuve d'une conjecture majeure en théorie des graphes, restée non résolue depuis 1973. Cette avancée pourrait marquer un tournant décisif pour l'IA dans le domaine des mathématiques fondamentales.
GPT-5.6 Sol prouve une conjecture vieille de 50 ans sur les cycles à double recouvrement
Il s'agit de l'un des plus anciens problèmes ouverts en théorie des graphes, formulé par Dyer et Szekeres en 1973.
La conjecture stipule que pour tout graphe sans pont (bridgeless), il existe un ensemble de cycles tel que chaque arête du graphe est incluse exactement dans deux de ces cycles.
Cette hypothèse revêt une importance capitale car elle est liée à la théorie des flux sans zéro (nowhere-zero flows), un thème central de la théorie structurelle des graphes. Le double recouvrement a fait l'objet de nombreuses tentatives de preuve au fil des décennies, mais aucune n'a été reconnue comme une solution définitive jusqu'à présent.
Il y a quelques heures seulement, un employé d'OpenAI a annoncé que le nouveau modèle GPT-5.6 Sol avait généré une preuve de cette conjecture en une heure seulement, en mobilisant 64 sous-agents.
La preuve a été publiée, mais elle n'a pas encore été vérifiée par la communauté mathématique et les discussions sont en cours. Si elle est validée, il s'agira de l'une des preuves générées par IA les plus vastes et les plus significatives à ce jour.
Pourquoi c'est important
AnalyseCette découverte pourrait avoir un impact considérable sur le développement de la théorie des graphes et de l'intelligence artificielle, ouvrant de nouvelles avenues de recherche pour la résolution automatisée de problèmes mathématiques complexes.
Discuter dans la communauté
Partagez vos questions et vos idées avec les développeurs