> ## Content Index > Fetch the complete content index at: https://fomoera.com/llms.txt > Use this file to discover other available public pages before exploring further. # La propuesta de OpenAI sobre ETH no garantiza mejoras prácticas, según un análisis - URL: https://fomoera.com/openai-eth-limites-practicos-algoritmo/ - Published: 2026-11-08T02:20:00.000Z - Updated: 2026-11-08T02:20:00.000Z - Description: Una prepublicación examina los tiempos que garantiza el algoritmo propuesto para 3-SAT y explica por qué un avance teórico no se traduce necesariamente en programas más rápidos. - Author: Patricia Rodriguez - Tags: Tecnología y Ciencia, IA Un análisis de la propuesta con la que OpenAI afirma haber refutado la hipótesis del tiempo exponencial pone en perspectiva su posible utilidad práctica. Los investigadores Fabio Dias e Yvens Lima calcularon los límites de tiempo del algoritmo y concluyeron que, en las condiciones que estudiaron, la demostración no garantiza una ventaja frente a la búsqueda exhaustiva para problemas de tamaño manejable. Su trabajo, publicado como preprint el 31 de octubre de 2026, examina qué se puede deducir de las cotas presentadas por OpenAI. No es una medición directa de la velocidad de un producto comercial ni una certificación de que la supuesta refutación sea correcta. OpenAI anunció el 26 de octubre que un modelo interno había producido el resultado y que este se había formalizado con Lean, una herramienta para comprobar demostraciones matemáticas. La compañía puso el material a disposición de investigadores para su examen. [OpenAI afirma que su IA refutó la hipótesis del tiempo exponencialOpenAI anuncia una refutación de ETH con IA y resultados en ondas y física que somete a examen académico.![](https://fomoera.com/content/images/icon/FomoEra-favicon-512-c0b9a37c-5769-4fdb-aa17-294e6ebcdf45.png)FomoEraGerardo Pavez![](https://fomoera.com/content/images/thumbnail/fomoera-openai-afirma-que-su-ia-refuto-la-hipotesis-del-tiempo-exponencial-43ea0dda-16x9-v2-1600x900-317f4185-3a38-4151-900d-7d277d6c47f3.webp)](https://fomoera.com/openai-refutacion-eth/) ## Una mejora teórica puede tardar en aparecer La hipótesis del tiempo exponencial, conocida como ETH, se refiere a la dificultad de resolver un problema lógico llamado 3-SAT. La tarea consiste en determinar si es posible asignar valores de verdadero o falso a una serie de variables de forma que se cumplan todas las condiciones de una fórmula. La hipótesis sostiene que, en el peor caso, el tiempo necesario crece exponencialmente con el número de variables. El manuscrito de OpenAI propone un algoritmo que cuenta las asignaciones que cumplen la fórmula y cuya cota de tiempo sería subexponencial. Si el argumento se confirma, contar las soluciones permitiría también responder si existe alguna y, con ello, refutar la hipótesis. Subexponencial describe cómo crece el costo cuando el problema se vuelve cada vez mayor. No significa que el algoritmo sea rápido para los tamaños que se usan en la práctica. Las constantes que acompañan a una cota también afectan el punto en que esa garantía supera a otra forma de cálculo. Dias y Lima ofrecen un ejemplo para mostrar la diferencia. Como OpenAI no especificó una de esas constantes, los autores supusieron que valía dos y calcularon que una cota general mejoraría la búsqueda exhaustiva solo a partir de aproximadamente 10^32 variables, un uno seguido de 32 ceros. La cifra depende de esa suposición y describe lo que garantiza la cota, no una frontera absoluta a partir de la cual el algoritmo empieza a funcionar. La comparación usa la búsqueda exhaustiva como referencia, aunque ya existen métodos más eficientes para resolver casos de SAT. Los autores también analizaron una demostración para fórmulas con una proporción acotada de cláusulas por variable: según sus cálculos, la garantía de tiempo no supera la búsqueda exhaustiva para entradas de un tamaño que pueda escribirse. Eso no descarta por sí solo que otra implementación o un avance posterior consiga mejores resultados. ## Qué implicaría para chips y cifrado Los problemas de satisfacibilidad no son solo ejercicios abstractos. Una investigación recopilada por IBM Research describe, por ejemplo, el uso de un algoritmo SAT en el diseño de circuitos asíncronos. Encontrar métodos más útiles para resolver ciertas fórmulas podría abrir oportunidades en tareas de diseño, pero el análisis de Dias y Lima no demuestra que la propuesta de OpenAI acelere esas herramientas. La relación con el cifrado también requiere distinguir problemas. RSA es un ejemplo de criptografía asociada a la factorización de números enteros, según el Instituto Nacional de Estándares y Tecnología de Estados Unidos, NIST. Una cota nueva para 3-SAT no demuestra por sí sola que sea posible romper un sistema RSA en condiciones prácticas. El propio [manuscrito de OpenAI](https://github.com/openai/math/tree/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026?ref=fomoera.com) advierte que trasladar su resultado a otro problema exige una reducción adecuada que controle el tamaño de la fórmula resultante. Por eso, confirmar la refutación de ETH y encontrar una aplicación capaz de comprometer un cifrado concreto serían pasos distintos. ## Una demostración sometida a examen Russell Impagliazzo y Ramamohan Paturi, quienes participaron en la formulación de ETH, se sumaron a Ryan Williams para organizar el examen del resultado. En una carta a la comunidad, los tres investigadores precisaron que su participación no debe interpretarse como una certificación y pidieron una revisión independiente. La comprobación formal en Lean ayuda a revisar los pasos expresados en ese lenguaje. La comunidad también debe examinar cómo se relacionan las definiciones formalizadas con la afirmación matemática y qué consecuencias se siguen de ella. Si la refutación se confirma, los resultados que dependen de ETH necesitarán reconsiderar ese supuesto. La propuesta tampoco resuelve por sí sola el problema P frente a NP: una cota subexponencial no equivale a demostrar que el problema pueda resolverse en tiempo polinómico. Por ahora, el análisis de Dias y Lima sitúa el debate en dos planos: la posible validez de un resultado teórico y el trabajo adicional necesario para convertirlo en una herramienta que mejore cálculos reales. *Fuentes:* [1](https://arxiv.org/abs/2611.00517?ref=fomoera.com), [2](https://openai.com/index/building-scientific-understanding-with-academic-communities/?ref=fomoera.com), [3](https://research.ibm.com/publications/a-bdd-sat-solver-for-satisfiability-testing-an-industrial-case-study?ref=fomoera.com), [4](https://csrc.nist.gov/pubs/sp/800/56/b/r2/final?ref=fomoera.com), [5](https://ethdiscussion.blog/2026/10/26/eth-refutation-examination-and-discussion/?ref=fomoera.com)