
La IA podría haber desafiado una de las suposiciones más fundamentales de la ciencia de la computación. Pero la historia más importante no es ETH. El 26 de octubre, OpenAI anunció que un modelo de IA interno había producido una supuesta refutación de la Hipótesis del Tiempo Exponencial (ETH) — una conjetura fundamental que sustenta cientos de resultados sobre complejidad computacional. La afirmación: Un algoritmo determinista de tiempo subexponencial para el conteo exacto de asignaciones satisfactorias en fórmulas booleanas de ancho fijo. Si es correcta, ETH cae. Así como varias conjeturas más fuertes. Pero P ≠ NP sigue sin resolverse. Y teóricamente más rápido no necesariamente significa prácticamente útil. La prueba ha sido formalizada en Lean. Se está organizando un examen independiente por parte de Russell Impagliazzo, Ramamohan Paturi y Ryan Williams del MIT. Su participación no es una endoso. La validación independiente sigue siendo esencial. Mi perspectiva: Podemos estar presenciando tres avances, no uno. Matemático: Una barrera de complejidad computacional de larga data podría haberse superado. Científico: La IA podría estar transitando de asistir a investigadores a generar conocimiento genuinamente nuevo. Institucional: La comunidad científica debe repensar cómo se verifican, comprenden, acreditan y reproducen los descubrimientos. El tercero podría resultar el más consecuente. Durante siglos, generar descubrimientos de vanguardia requirió experiencia humana escasa y años de investigación. ¿Qué sucede cuando la IA puede generar descubrimientos matemáticos creíbles más rápido de lo que los humanos pueden validar e interpretar independientemente? El cuello de botella cambia del descubrimiento a la verificación, la interpretación y el juicio científico. Y eventualmente, la IA podría acelerar también esos procesos. El verdadero punto de inflexión no es que la IA resuelva un problema famoso. Es que la IA expanda repetidamente la frontera del conocimiento humano. Aún no estamos allí de manera concluyente. Pero este desarrollo merece atención seria. La pregunta ya no es simplemente cuán inteligente puede volverse la IA. Es si nuestras instituciones científicas pueden evolucionar lo suficientemente rápido como para evaluar lo que la IA descubre. Anuncio de OpenAI: https://t.co/G0p0VEMjlC Artículos de investigación y formalizaciones en Lean: https://t.co/jVif4w5JKB #ArtificialIntelligence #ScientificDiscovery #OpenAI #ComplexityTheory #AIResearch #ComputerScience #FutureOfAI #AgenticAI


