GPT-5.6 Sol Ultra produit une preuve de la conjecture de la double couverture de cycles

OpenAI publie un document PDF indiquant que son modèle GPT-5.6 Sol Ultra aurait produit une preuve de la conjecture de la double couverture de cycles (Cycle Double Cover Conjecture), un problème ouvert de longue date en théorie des graphes. Si confirmée, cette avancée représenterait l'une des premières démonstrations mathématiques non triviales générées de manière autonome par un LLM. La vérification formelle de la preuve par la communauté mathématique reste à accomplir.