GPT-5.6 Sol Ultra demuestra la conjetura del doble cubrimiento por ciclos
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
Un nuevo documento de OpenAI presenta una prueba de la conjetura del doble cubrimiento por ciclos, un problema abierto durante décadas. La prueba, atribuida a GPT-5.6 Sol Ultra, resuelve la conjetura para todo grafo no dirigido sin puentes, utilizando el teorema del 8-flujo y un argumento de álgebra lineal. El resultado es un hito en matemáticas computacionales, mostrando la capacidad de la IA para abordar problemas de investigación avanzada.
La prueba en esta nota se debe enteramente a GPT-5.6 Sol Ultra y la redacción con Codex (con GPT-5.6 Sol).