ActuOpenAI et GPT-5.6 Sol Ultra : percée mathématique après 50 ans
OpenAI a annoncé que son modèle GPT-5.6 Sol Ultra a généré une preuve complète de la Conjecture du Cycle Double Cover, restée sans solution pendant environ 50 ans. Cette conjecture, formulée indépendamment par plusieurs mathématiciens dans les années 1970, pose une question fondamentale en théorie des graphes : peut-on trouver un ensemble de cycles dans un réseau qui traverse chaque arête exactement deux fois ? Le modèle a produit cette preuve en moins d'une heure en utilisant 64 sous-agents travaillant en parallèle. Thomas Bloom…
Lire un résumé →OpenAI a annoncé que son modèle GPT-5.6 Sol Ultra a généré une preuve complète de la Conjecture du Cycle Double Cover, restée sans solution pendant environ 50 ans. Cette conjecture, formulée indépendamment par plusieurs mathématiciens dans les années 1970, pose une question fondamentale en théorie des graphes : peut-on trouver un ensemble de cycles dans un réseau qui traverse chaque arête exactement deux fois ? Le modèle a produit cette preuve en moins d'une heure en utilisant 64 sous-agents travaillant en parallèle.
Thomas Bloom, mathématicien à l'Université de Manchester, loue la preuve comme « très belle », « courte et élémentaire », notant qu'elle aurait pu être découverte dès les années 1980 sans recourir à de nouvelles théories. Il explique que les mathématiciens humains abandonnent souvent après un premier échec, tandis que l'IA persiste en essayant des variations. Cependant, Bloom critique vivement l'absence de citations : les idées fondamentales remontent à un article de 1983, et l'IA semble avoir recombié des stratégies existantes sans reconnaissance appropriée.
Bloom anticipe que les systèmes d'IA résoudront d'autres conjectures similaires—celles nécessitant principalement de la patience et de la théorie existante—mais avertit que cela ne représente probablement qu'une petite part des problèmes ouverts. Il souligne aussi que le prompt humain joue un rôle clé, forçant le modèle à supposer une preuve et interdisant la vérification en ligne, le contraignant ainsi à persévérer.