OpenAI asegura que su inteligencia artificial refutó la Hipótesis del Tiempo Exponencial, una conjetura de ciencias de la computación de 1999 conocida como ETH. Esto no tiene nada que ver con Ethereum. Varios traders de criptomonedas confundieron brevemente ambos términos en redes sociales. El malentendido demuestra qué tan rápido las afirmaciones matemáticas sobre IA pueden filtrarse hacia mercados completamente ajenos.
Qué pasó realmente
OpenAI publicó un paper de 67 páginas el 17 de octubre de 2025, revisado el 25 de octubre, en el que afirma que su IA encontró un algoritmo determinista capaz de resolver problemas de 3-SAT en tiempo subexponencial, refutando así la ETH. La empresa sostiene que su modelo halló la refutación el 16 de octubre y la formalizó en Lean, una herramienta de verificación, al día siguiente. Ambos documentos están en GitHub, junto a 722 manuscritos matemáticos que OpenAI ya había publicado en octubre, de los cuales solo 162 incluían un resultado verificado por computadora. Los científicos Russell Impagliazzo, Ramamohan Paturi y Ryan Williams, del MIT, quienes lideran la revisión independiente, escribieron en una carta abierta que un resultado de esta magnitud exige un escrutinio cuidadoso e independiente, según Decrypt. Anthropic respondió el 26 de octubre con un paper propio, atribuyendo a su modelo Claude un algoritmo similar para 3-SAT.
Cómo llegamos hasta aquí
La ETH fue propuesta en 1999 por Impagliazzo, Paturi y Francis Zane. Establece que el problema 3-SAT no puede resolverse mucho más rápido que por fuerza bruta, y cientos de investigaciones en teoría de grafos, biología computacional y bases de datos se apoyan en ese supuesto, según OpenAI. El hallazgo no resuelve el problema P versus NP, es decir, si todo problema fácil de verificar también es fácil de resolver. Cabe recordar que Claude, de Anthropic, ya había formalizado el Último Teorema de Fermat en Lean en septiembre de 2025. El matemático Terence Tao había advertido que las herramientas de IA podrían "aplanar" problemas abiertos antes de que los investigadores terminen de abordarlos, anticipando este cruce entre dos laboratorios de IA.
Por qué esto te importa
Para los poseedores de Ethereum, nada cambia. Esta ETH no tiene relación alguna con la blockchain, su token ni su hoja de ruta. Para investigadores y desarrolladores de IA, el episodio pone a prueba qué tan rápido viajan las afirmaciones no verificadas y cómo herramientas formales como Lean pueden acelerar la revisión independiente. OpenAI asegura que no firmó acuerdos de confidencialidad, publicó los datos en bruto y destinó 5.000.000 de dólares (USD) a la Fundación Simons para financiar talleres de revisión. Ese modelo podría convertirse en un ejemplo a seguir para cómo los laboratorios de IA publican pruebas controvertidas. Para las comunidades cripto, la confusión es un recordatorio de verificar las afirmaciones antes de reaccionar ante titulares que comparten siglas conocidas.
La gran pregunta
Si los modelos de IA pueden refutar conjeturas de décadas de antigüedad antes de que termine la revisión por pares, ¿cómo debería la comunidad científica redefinir qué cuenta como una prueba válida? Quienes propusieron la ETH aún no han certificado la afirmación de OpenAI, lo que deja abierta la pregunta de si la formalización automática en herramientas como Lean podrá algún día reemplazar el proceso humano, más lento, de escrutinio en el que las matemáticas se han apoyado durante siglos.
Qué vigilar
La revisión independiente de Impagliazzo, Paturi y Williams continúa, sin una fecha límite anunciada. La donación de 5.000.000 de dólares (USD) de OpenAI a la Fundación Simons financiará talleres y una conferencia dedicada al resultado. El paper de Claude, de Anthropic, fechado el 26 de octubre de 2025, aún espera su propia revisión. Los traders de criptomonedas deberán estar atentos a si nuevas afirmaciones matemáticas sobre IA generan confusiones similares con los tickers de tokens.
