OpenAI afirma que una IA refutó la hipótesis del tiempo exponencial

OpenAI dijo el 26 de octubre de 2026 que uno de sus modelos internos de IA ha refutado la hipótesis del tiempo exponencial (Exponential Time Hypothesis). Es un supuesto central de la informática sobre lo difícil que es resolver ciertos problemas. La empresa también afirmó haber logrado dos resultados en matemáticas y física. Si la afirmación de informática supera la revisión de los expertos, echaría por tierra una idea que gran parte de la investigación da por cierta.

Ninguno de los tres resultados está confirmado todavía. OpenAI los ha entregado a investigadores externos que no han cobrado y no han firmado acuerdos de confidencialidad.

Qué dice la hipótesis del tiempo exponencial

La hipótesis trata sobre la satisfacibilidad booleana, a menudo abreviada como SAT. Un problema SAT pregunta si hay una forma de asignar una lista de valores de verdadero o falso para que una fórmula lógica resulte verdadera. La hipótesis dice que las versiones más difíciles de este problema no se pueden resolver mucho más rápido que comprobando un número exponencial de combinaciones. Exponencial significa que el trabajo se duplica aproximadamente con cada variable adicional.

The Next Web informa de que OpenAI describe la hipótesis como «ampliamente considerada cierta». Muchos resultados sobre qué problemas no se pueden resolver rápido están demostrados suponiendo que se cumple. Una refutación significaría que esos resultados necesitan otra base.

Cómo dice OpenAI que encontró la demostración

Según Unite.AI, la cronología fue esta:

Fecha	Paso
16 de octubre de 2026	El modelo redacta una refutación por escrito
17 de octubre de 2026	La refutación se comprueba en Lean
25 de octubre de 2026	Fecha del manuscrito que la acompaña
26 de octubre de 2026	OpenAI anuncia el resultado

Lean es un asistente de demostración: un software que comprueba a máquina cada paso de una demostración matemática. Una comprobación en Lean muestra que la lógica se sostiene para el enunciado tal como está escrito. Los revisores aún deben confirmar que ese enunciado coincide con la hipótesis real. Unite.AI dice que la refutación se refiere a fórmulas conocidas como k-CNF, con k de al menos 2. El texto y la demostración en Lean son públicos en GitHub.

Quién la revisará

Russell Impagliazzo y Ramamohan Paturi, de UC San Diego, y Ryan Williams, del MIT, dirigirán una revisión independiente. En una carta abierta citada por The Next Web, escribieron: «Nuestra participación no debe tomarse como una certificación de la afirmación». Añadieron: «Si la afirmación es correcta, cambiará una parte importante de la informática teórica». Williams dijo que el grupo no firmó ningún acuerdo de confidencialidad (NDA) y no cobrará.

Las otras dos afirmaciones

En matemáticas, OpenAI dice que sus modelos demostraron la conjetura de suavizado local (local smoothing) en todas las dimensiones. Christopher Sogge la propuso en 1991, y se demostró en dos dimensiones en 2019. Una demostración en todas las dimensiones resolvería también las conjeturas de Kakeya y de restricción de Stein, dos problemas abiertos desde hace mucho sobre formas y ondas.

En física, OpenAI afirma tener una demostración rigurosa de que existen ciertas teorías cuánticas de campos en cuatro dimensiones. Entre ellas están la cromodinámica cuántica, la teoría de la fuerza nuclear fuerte, y la teoría de Yang-Mills pura. La existencia de la teoría de Yang-Mills forma parte de uno de los problemas del Clay Millennium Prize. El premio Nobel David Gross dirigirá la revisión de la parte de física. The Next Web dice que OpenAI no publicará por ahora el material de física.

OpenAI dice que no reclamará ningún mérito académico por el trabajo. También dona 5 millones de dólares a la Simons Foundation, que financia ciencia básica.

Por qué conviene ser prudente

OpenAI ya ha hecho antes grandes afirmaciones matemáticas. A principios de este mes retiró 3 de 722 manuscritos de matemáticas escritos por IA tras un error de signo. En septiembre, unos agentes de IA afirmaron un resultado sobre Navier-Stokes que los matemáticos rebatieron. Una demostración comprobada a máquina es una prueba más sólida que un argumento escrito, pero lo que cuenta es el veredicto de los revisores.

Qué significa para los desarrolladores

Nada cambia hoy en el software del día a día. Los solucionadores SAT, las herramientas detrás de la verificación de chips, la resolución de dependencias de paquetes y la planificación, siguen funcionando exactamente igual que antes.

• No espere todavía solucionadores más rápidos. Una refutación muestra que existe en teoría un método más rápido. No significa que ese método supere a las herramientas actuales con entradas reales.
• Siga la revisión, no los titulares. El grupo de UC San Diego y el MIT es la señal que hay que seguir. Su informe dirá si el enunciado en Lean coincide con la hipótesis real.
• Fíjese en el papel de Lean. Las demostraciones comprobadas a máquina se están convirtiendo en la forma estándar de poner a prueba las matemáticas producidas por IA. Los equipos que crean herramientas de demostración o verificación deberían esperar más demanda.
• Trate las afirmaciones de investigación con IA como borradores. Incluso con comprobaciones formales, las propias retiradas de OpenAI este mes muestran que se cuelan errores.

Si el resultado se sostiene, los libros de texto de algoritmos y complejidad necesitarán capítulos nuevos. Si falla, la revisión mostrará dónde estaba el fallo.