> ## 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. # OpenAI afirma que su IA refutó la hipótesis del tiempo exponencial - URL: https://fomoera.com/openai-refutacion-eth/ - Published: 2026-10-27T04:00:00.000Z - Updated: 2026-10-27T04:00:00.000Z - Description: La empresa presenta tres resultados para examen académico. El de computación propone un algoritmo subexponencial; el de física aborda la existencia de teorías cuánticas de campos. - Author: Gerardo Pavez - Tags: Tecnología y Ciencia, IA OpenAI anunció el 26 de octubre de 2026 que sus modelos internos produjeron una refutación de la hipótesis del tiempo exponencial, ETH. La afirmación forma parte de tres resultados en computación, matemáticas y física que la empresa presenta para examen académico. En su [repositorio público](https://github.com/openai/math?ref=fomoera.com), la compañía describe los manuscritos como datos de investigación que necesitan explicación y contextualización por especialistas. ## Qué cambiaría con una refutación de ETH ETH sostiene que resolver 3-SAT en el peor caso requiere tiempo exponencial respecto al número de variables. Este problema pregunta si se pueden asignar valores verdadero o falso para satisfacer una fórmula lógica cuyas cláusulas contienen hasta tres variables o sus negaciones. El manuscrito de OpenAI presenta un algoritmo determinista que cuenta exactamente las soluciones de fórmulas con un número fijo de elementos por cláusula. Su cota de tiempo es **subexponencial** y el espacio que utiliza es polinómico. El resultado incluye 3-SAT, de donde el texto deduce la refutación de ETH. La distinción con [P frente a NP](https://www.claymath.org/millennium/p-vs-np/?ref=fomoera.com) importa: ese problema pregunta si verificar una solución en tiempo polinómico implica también poder resolver el problema en tiempo polinómico. Una cota subexponencial puede crecer más rápido que cualquier polinomio. Por tanto, el alcance anunciado no establece P = NP. La consecuencia, si se valida el resultado, sería retirar ETH como fundamento para descartar algoritmos más rápidos. La cota asintótica describe cómo crece el tiempo de cálculo con el tamaño del problema; no mide por sí sola la velocidad de un programa real. Russell Impagliazzo, Ramamohan Paturi y Ryan Williams encabezan el grupo que examinará el trabajo. ## Las ondas y la dimensión de los conjuntos de Kakeya El segundo manuscrito afirma resolver la conjetura de suavizado local de Sogge para la ecuación de ondas euclidiana en toda dimensión espacial a partir de dos. El problema estudia los límites de la concentración de ondas cuando se considera su comportamiento a lo largo de un intervalo de tiempo. De ese resultado, el texto deduce estimaciones de restricción de Fourier y resultados sobre Kakeya. Los conjuntos de Kakeya contienen un segmento de longitud uno en cada dirección; el manuscrito afirma que tienen dimensión de Hausdorff completa, una medida precisa de su dimensión geométrica. Las descripciones de las formalizaciones de [computación](https://github.com/openai/math/blob/main/lean/docs/378.md?ref=fomoera.com) y [matemáticas](https://github.com/openai/math/blob/main/lean/docs/079.md?ref=fomoera.com) precisan qué enunciados abarcan. La [documentación de Lean](https://lean-lang.org/theorem%5Fproving%5Fin%5Flean4/Introduction/?ref=fomoera.com) explica que este sistema verifica demostraciones a partir de axiomas y definiciones explícitos. Esa comprobación y la evaluación del significado matemático de los enunciados son tareas complementarias. ## Yang-Mills exige distinguir existencia y brecha de masa En física, la empresa anuncia pruebas de existencia matemática para ciertas teorías cuánticas de campos en cuatro dimensiones, incluida la cromodinámica cuántica, QCD. También menciona una teoría unificada que incluye campos del modelo estándar. OpenAI dice haber formalizado la existencia de Yang-Mills pura. El grupo dirigido por David Gross decidirá cuándo publicar los materiales de física. El enunciado del Instituto Clay exige tanto construir rigurosamente la teoría de Yang-Mills como demostrar una **brecha de masa positiva**. Esta última implica un umbral de energía entre el vacío y las excitaciones de la teoría. Probar la existencia cubre solo una parte de ese enunciado. El acceso a los manuscritos y las formalizaciones de computación y matemáticas permite que otros investigadores contrasten los enunciados, estudien las pruebas y desarrollen sus consecuencias. *Fuentes:* [1](https://openai.com/index/building-scientific-understanding-with-academic-communities/?ref=fomoera.com), [2](https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf?ref=fomoera.com), [3](https://github.com/openai/math/blob/main/preprints/Local-smoothing-for-the-Euclidean-wave-equation-October-25-2026/paper.pdf?ref=fomoera.com), [4](https://www.claymath.org/wp-content/uploads/2022/06/yangmills.pdf?ref=fomoera.com)