La IA de OpenAI refuta una hipótesis clave... según OpenAI

OpenAI ha vuelto a anunciar un resultado matemático de los que, si son ciertos, ocupan capítulos en los libros de texto. Según la compañía, sus modelos internos han refutado la Hipótesis del Tiempo Exponencial, una suposición sobre la que se apoya buena parte de la informática teórica moderna. Y no viene sola: el anuncio incluye un avance relacionado con la conjetura de Kakeya y resultados de existencia para teorías cuánticas de campos en cuatro dimensiones. Ya hemos estado aquí antes, así que vamos por partes.

Qué dice la hipótesis

La ETH, formulada en 2001 por Russell Impagliazzo y Ramamohan Paturi, afirma algo así: hay problemas difíciles (el ejemplo clásico es 3-SAT, decidir si una fórmula lógica tiene solución) que no se pueden resolver mucho más rápido que probando un número exponencial de combinaciones. Es más fuerte que la famosa conjetura P distinto de NP, y cientos de resultados la usan como punto de partida: "si la ETH es cierta, este problema no puede resolverse en menos de tanto tiempo".

Si cae, esos resultados pierden su cimiento y hay que revisarlos. Lo que no haría es resolver P contra NP: refutar la ETH dice que ciertos problemas difíciles son algo menos difíciles de lo que se creía, no que sean fáciles.

Por qué hay que esperar

La parte seria del anuncio es seria. Que Impagliazzo, Paturi y Ryan Williams, tres de las mayores autoridades del campo, lideren la revisión es lo más parecido a una garantía de que el resultado se va a examinar a fondo. Y que haya pruebas en Lean, un lenguaje que verifica cada paso lógico por ordenador, ayuda mucho.

Pero la verificación formal tiene una trampa que ya vimos con el anuncio de Navier-Stokes: Lean comprueba que la demostración es correcta para el enunciado que se le da, no que ese enunciado sea exactamente el que todo el mundo entiende por "la hipótesis". En septiembre, pasó una semana sin que nadie validara aquel teorema precisamente por esa duda. Además, OpenAI ha cambiado de método: en lugar de enviar artículos a revistas, publica material "en bruto" y pide a expertos externos que hagan de "pastores" de la revisión. Es más rápido, y también deja la carga del escrutinio en manos de académicos que no cobran por ello.

La lectura sin humo

Hay razones para tomarse esto más en serio que un comunicado cualquiera: pruebas formales públicas y revisores que conocen la hipótesis mejor que nadie porque la inventaron ellos. Y hay razones para no titular todavía "la IA ha revolucionado la informática": nada está revisado, la física aún no se puede comprobar y el precedente de Navier-Stokes enseña que el diablo está en cómo se formaliza el enunciado. Si el resultado aguanta, será probablemente el mayor logro científico atribuido a una IA hasta la fecha. El veredicto lo darán Impagliazzo y compañía, no OpenAI, y tardará semanas o meses. Te lo contaremos cuando llegue.

Fuentes: AI News Online · DX Today · TopFive · 27 octubre 2026