OpenAI publie une preuve de la conjecture du cycle double cover attribuée à GPT-5.6 Sol Ultra : 64 sous-agents, moins d'une heure
Résumé
OpenAI publie un PDF signé de son modèle GPT-5.6 Sol Ultra présentant une preuve de la conjecture du cycle double cover, un problème de théorie des graphes ouvert depuis 1973-1979 (Szekeres/Seymour). La preuve mobilise le théorème des 8-flots et l'algèbre linéaire sur GF(3), avec 64 sous-agents en parallèle en moins d'une heure. La communauté mathématique doit encore valider le résultat.
Shared on Bluesky by 2 AI experts
-
GPT-5.6 Sol Ultra (using 64 subagents) proved the 50-year-old Cycle Double Cover Conjecture, which has been described as one of the most famous open problems in graph theory. It took less than hour. The proof, written a…
View on Bluesky →
Article original publié par openai.com
Lire l'article original →Titre original : OpenAI publie une preuve de la conjecture du cycle double cover attribuée à GPT-5.6 Sol Ultra : 64 sous-agents, moins d'une heure