> ## Content Index > Fetch the complete content index at: https://www.digitalbrain.news/llms.txt > Use this file to discover other available public pages before exploring further. # La IA de OpenAI refuta la hipótesis del tiempo exponencial - URL: https://www.digitalbrain.news/noticias/openai-refuta-hipotesis-tiempo-exponencial-eth-yang-mills/ - Published: 2026-10-27T15:47:13.000Z - Updated: 2026-10-27T15:48:48.000Z - Description: OpenAI asegura que uno de sus modelos internos ha demostrado que la hipótesis del tiempo exponencial (ETH, por sus siglas en inglés), una conjetura… - Author: Ramón Pérez Coronado - Tags: #noticias, openai, investigacion-cientifica, matematicas-ia, ia-ciencia [OpenAI](https://www.digitalbrain.news/glosario/#openai) asegura que uno de sus modelos internos ha demostrado que la hipótesis del tiempo exponencial (ETH, por sus siglas en inglés), una conjetura de informática teórica que se daba por cierta desde hace más de 25 años, es falsa. Lo publicó el 26 de octubre en [un comunicado de su área de investigación](https://openai.com/index/building-scientific-understanding-with-academic-communities/?ref=digitalbrain.news), junto a otros dos resultados: una prueba de la conjetura de suavizado local en matemáticas y una demostración de que la cromodinámica cuántica existe como teoría matemática rigurosa. Los tres llegan con su formalización en Lean, un lenguaje que comprueba demostraciones de forma automática. Ninguno ha pasado todavía por la revisión de expertos externos, y para eso OpenAI ha montado algo nuevo: grupos de académicos que harán de "pastores" de cada resultado. ## Puntos clave - **Informática:** el modelo encontró la refutación de la ETH el 16 de octubre y la formalizó en Lean el 17\. La verificarán Russell Impagliazzo y Ramamohan Paturi (UC San Diego), que propusieron la hipótesis, y Ryan Williams (MIT). - **Física:** prueba de existencia de la cromodinámica cuántica (QCD) y de una compleción unificada del modelo estándar. Incluye la existencia de la teoría de Yang-Mills pura, parte de uno de los siete problemas del milenio del Instituto Clay. Lo supervisa un grupo liderado por David Gross, Nobel de Física en 2004. - **Matemáticas:** prueba de la conjetura de suavizado local de Sogge (1991) en cualquier dimensión, lo que resuelve de paso las conjeturas de Kakeya y de restricción de Stein en todas las dimensiones. - **Sin crédito académico:** OpenAI dice que no reclamará la autoría de los descubrimientos y que pagará un congreso para analizar el resultado de la ETH. ## Qué es la hipótesis del tiempo exponencial La ETH es una apuesta sobre los límites de la computación. Dice, simplificando, que el problema 3-SAT (decidir si una fórmula lógica con muchas variables se puede cumplir) no se puede resolver en tiempo subexponencial. Por muy bueno que sea el algoritmo, el tiempo crecería de forma exponencial con el número de variables. La propusieron Impagliazzo, Paturi y Francis Zane a finales de los noventa. Nadie la había demostrado, pero la disciplina trabajaba como si fuera verdad. Según OpenAI, se ha usado en "cientos de artículos" para derivar resultados de dificultad condicional en teoría de grafos, biología computacional, bases de datos y geometría computacional. El esquema típico de esos artículos es: si la ETH es cierta, este problema no se puede resolver más rápido que X. Si la ETH cae, todos esos resultados se quedan sin suelo. Siguen pudiendo ser ciertos, pero dejan de estar demostrados. Y vuelve a estar abierta la pregunta de cuánto más rápido se podrían resolver muchas tareas. Dos matices. Refutar la ETH no resuelve P contra NP: un algoritmo subexponencial para 3-SAT puede seguir siendo muchísimo más lento que uno polinómico. Y el segundo lo da la propia OpenAI: convertir el avance teórico en algoritmos que se noten en la práctica "requerirá mucha más investigación". ## Por qué Lean no cierra el debate Lean comprueba que cada paso de una demostración se sigue del anterior. Si la prueba compila, es correcta respecto a lo que dice el enunciado formal. Lo que Lean no puede comprobar es que ese enunciado formal diga exactamente lo que los humanos creen que dice. Un enunciado mal traducido da una prueba impecable de otra cosa. Por eso importa quién firma la verificación. Impagliazzo y Paturi llevan 30 años publicando sobre la ETH, y Williams ya refutó versiones fuertes de la hipótesis, así que conoce sus costuras mejor que casi nadie. El grupo ha pedido dos cosas y OpenAI las ha aceptado: que todos los datos brutos se publiquen para que cualquiera pueda verificarlos y que la empresa financie un congreso sobre las implicaciones para el campo. La prueba en lenguaje natural y la formalización en Lean ya están en el GitHub de OpenAI. La física va a otro ritmo. El modelo produjo la prueba de Yang-Mills el 9 de septiembre y la de QCD el 18, pero OpenAI esperó a terminar la formalización en Lean, el 16 de octubre, por la longitud del trabajo. El grupo de Gross, con Michael Douglas, Arthur Jaffe, Igor Klebanov y Nikita Nekrasov, ha decidido no publicar todavía lo que generó la IA y escribir el resultado ellos mismos. Jaffe es quien formuló el problema de Yang-Mills del milenio junto a Edward Witten. Conviene no perder un detalle. El problema del Instituto Clay pide demostrar que la teoría existe y además el llamado salto de masa. OpenAI habla de la existencia y lo presenta, con cuidado, como "parte" del problema. ## Cómo ha cambiado la forma de publicar El 6 de octubre OpenAI [publicó 722 manuscritos de matemáticas escritos por su IA](https://www.digitalbrain.news/noticias/openai-722-manuscritos-matematicas-github-lean/) en bruto, y la comunidad matemática le pidió otra manera de hacerlo. Esta vez ha probado tres estrategias, una por resultado, según lo que aconsejó el experto consultado en cada caso: - **Matemáticas:** publicar la salida de la IA tal cual y dejar que los investigadores se organicen. - **Informática:** formar un grupo externo que explique el resultado y publicar todo desde el primer día. - **Física:** formar un grupo externo y dejar que sea él quien decida qué se publica y cuándo. Los grupos siguen cuatro principios: transparencia (sin acuerdos de confidencialidad), ningún crédito académico para OpenAI, reconocimiento para quien explique los resultados e independencia, porque la participación es voluntaria y sin pago. OpenAI añade que estos grupos se suman a su aportación de 5 millones de dólares a la Fundación Simons para talleres y programas sobre resultados producidos por IA. La empresa reconoce el coste de este modelo. Elegir a los primeros "pastores" decide quién entra antes y crea asimetría de información: quien está en el grupo de Gross lee la prueba antes que el resto de físicos del mundo. ## Por qué importa Para una empresa que usa IA en su día a día, lo útil de esta noticia es el patrón. En unas seis semanas, los modelos internos de OpenAI han producido resultados en tres disciplinas, y el cuello de botella ahora es verificarlos y entenderlos. OpenAI tiene más resultados que expertos dispuestos a revisarlos. Es lo mismo que le pasa a cualquier equipo que pone agentes a escribir código, informes o análisis: la IA produce más rápido de lo que las personas pueden comprobar. La respuesta de OpenAI (verificación automática con Lean y un grupo humano que responde con su nombre) es la versión académica de lo que conviene montar en una empresa: una comprobación mecánica para todo lo que se pueda comprobar y una persona responsable de lo que no. Y una nota de prudencia. Hasta que Impagliazzo, Paturi y Williams digan lo contrario, "la ETH es falsa" es una afirmación de OpenAI con una prueba formal detrás y todavía sin el visto bueno de la comunidad. Si se confirma, probablemente sea el resultado de informática teórica más importante salido de una máquina hasta hoy. Fuente original: [OpenAI](https://openai.com/index/building-scientific-understanding-with-academic-communities/?ref=digitalbrain.news) --- **Relacionado** [![Apple Creator Studio mete OpenAI en Logic Pro, Pages y Keynote](https://storage.ghost.io/c/6d/e3/6de31f63-d0a8-45df-9c6a-481016520347/content/images/size/w300/format/webp/2026/10/apple-creator-studio-openai-logic-pro-keynote-mcp.jpg)Apple Creator Studio mete OpenAI en Logic Pro, Pages y Keynote](https://www.digitalbrain.news/noticias/apple-creator-studio-openai-logic-pro-keynote-mcp/)[![Claude descubre un sistema de enzimas tipo CRISPR en 21 horas](https://storage.ghost.io/c/6d/e3/6de31f63-d0a8-45df-9c6a-481016520347/content/images/size/w300/format/webp/2026/09/claude-descubre-enzimas-tipo-crispr-laboratorio-anthropic.jpg)Claude descubre un sistema de enzimas tipo CRISPR en 21 horas](https://www.digitalbrain.news/noticias/claude-descubre-enzimas-tipo-crispr-laboratorio-anthropic/)[![Un medalla Fields de Berkeley deja de corregir deberes por la IA](https://storage.ghost.io/c/6d/e3/6de31f63-d0a8-45df-9c6a-481016520347/content/images/size/w300/format/webp/2026/10/berkeley-borcherds-deja-corregir-deberes-ia.jpg)Un medalla Fields de Berkeley deja de corregir deberes por la IA](https://www.digitalbrain.news/noticias/berkeley-borcherds-deja-corregir-deberes-ia/)