GPT-5.6 Sol Prueba la Hipótesis de Doble Cobertura de Ciclos de 50 Años

El nuevo modelo GPT-5.6 Sol ha generado una prueba de una hipótesis de 50 años sobre la doble cobertura de ciclos, lo que podría ser un logro significativo en la teoría de grafos.
GPT-5.6 Sol Prueba la Hipótesis de Doble Cobertura de Ciclos de 50 Años
Este es uno de los problemas abiertos más antiguos en la teoría de grafos, formulado por Dyer Szekeres en 1973.
La hipótesis afirma que para cualquier grafo sin puentes, existe un conjunto de ciclos tal que cada arista del grafo está incluida en exactamente dos de estos ciclos.
La hipótesis es, de hecho, muy importante, ya que se relaciona con la teoría de flujos en ningún lugar cero, un tema central en la teoría estructural de grafos. Se ha intentado probar la doble cobertura muchas veces, pero ninguno de los intentos ha sido reconocido como una solución definitiva.
Hace unas horas, un empleado de OpenAI anunció que el nuevo modelo GPT-5.6 Sol generó una prueba de esta hipótesis en solo una hora, utilizando 64 subagentes.
La prueba ha sido publicada, pero aún no ha sido verificada por la comunidad matemática, y las discusiones están en curso. Si se verifica, será una de las pruebas generadas por IA más grandes y significativas hasta la fecha.
Por qué es importante
AnálisisEste descubrimiento podría tener un impacto tremendo en el desarrollo de la teoría de grafos y la inteligencia artificial, abriendo nuevas avenidas para la investigación en este campo.
Debatir en la comunidad
Comparte tus preguntas e ideas con desarrolladores
Relacionado en el ecosistema
Guías prácticas, terminología y skills de agentes
JSON — Datos estructurados para programas, APIs y agentes de IA
Guía práctica y completa sobre JSON: especificación de sintaxis, serialización con parse y stringify, consumo de APIs REST, validación con JSON Schema y salidas estructuradas para LLMs.
Formatos DOCX y XLSX: cuándo se necesita un documento final completo de la IA
Guía práctica y completa sobre la generación y procesamiento de documentos DOCX y libros XLSX con IA: comparativa con Markdown y CSV, ingeniería de prompts, fórmulas y automatización en código.
Binance publica una investigación sobre el robo de $6,300 millones
La investigación vincula el robo con una versión modificada de Homebrew, una entrevista falsa y el uso de una herramienta interna de IA de Binance.
Un usuario de Reddit explica por qué los límites semanales de Claude Code se consumen casi 4 veces más rápido
Un usuario de Reddit comparó el uso de tokens entre dos semanas y descubrió que ahora cada 1% del límite semanal de Claude Code genera muchos menos tokens de salida; señaló subagentes, tiempo de razonamiento y actualizaciones de interfaz como causas probables.