GPT-5.6 résout une énigme mathématique vieille de 50 ans

Résumé

OpenAI’s GPT-5.6 Sol Ultra aurait produit en moins d’une heure une preuve de la Cycle Double Cover Conjecture, à l’aide de 64 sous-agents parallèles.

Les faits

OpenAI’s GPT-5.6 Sol Ultra a produit une preuve de la Cycle Double Cover Conjecture en moins d’une heure, en utilisant 64 sous-agents travaillant en parallèle. La conjecture serait restée sans démonstration pendant 50 ans. L’article explique que cette conjecture pose une question centrale en théorie des graphes : peut-on trouver, dans tout réseau de sommets et d’arêtes, un ensemble de cycles qui traverse chaque arête exactement deux fois ? Le problème a été formulé indépendamment par plusieurs mathématiciens dans les années 1970. Selon l’extrait, OpenAI affirme que la preuve provient entièrement de GPT-5.6 Sol Ultra. Le texte précise aussi que l’article mathématique a été rédigé par GPT-5.6 Sol. Le mathématicien Thomas Bloom qualifie la preuve de « très belle preuve » et estime qu’elle est « courte, élémentaire, et aurait pu être découverte dans les années 1980 ». Il ajoute que les idées mathématiques centrales remontent au moins à un article de 1983 de Bermond, Jackson et Jaeger, et critique l’absence de citations de ces travaux antérieurs.

Pourquoi c’est important

Cette affaire illustre une capacité potentielle de l’IA à traiter des problèmes de recherche réputés difficiles, non par l’intuition humaine classique mais par exploration massive de variantes. L’usage de 64 sous-agents parallèles suggère une approche de calcul distribué qui change l’échelle du raisonnement automatisé. Elle pose aussi une question de fond sur la nature de la contribution de l’IA : découverte originale ou recombinaison de connaissances existantes. La critique de Thomas Bloom sur l’absence de citations montre que la valeur scientifique d’une telle preuve ne dépend pas seulement du résultat, mais aussi de sa traçabilité et de sa place dans l’héritage mathématique.

Questions fréquentes

Quelle conjecture GPT-5.6 Sol Ultra aurait-il résolue ?

La Cycle Double Cover Conjecture, un problème de théorie des graphes resté sans preuve pendant environ 50 ans.

Combien de temps la preuve a-t-elle pris ?

Moins d’une heure, selon l’extrait.

Combien de sous-agents ont été utilisés ?

64 sous-agents travaillant en parallèle.

Quelle est la principale réserve exprimée dans l’extrait ?

Thomas Bloom critique l’absence de citations des travaux antérieurs et souligne que les idées centrales remontent au moins à un article de 1983.

Source

Auteur

Rédaction spécialisée dans la veille et l'analyse de l'actualité de l'intelligence artificielle, des puces IA, des robots, des agents IA et de la recherche.