Inteligencias artificiales convulsionan la informática teórica al derribar vieja hipótesis

El profesor Peter Jonsson, de la Universidad de Linköping, tenía previsto presentar su investigación en un congreso de informática teórica dentro de dos semanas, pero el lunes su trabajo quedó obsoleto al demostrar la inteligencia artificial que una hipótesis que respaldaba su estudio, vigente desde 27 años, era incorrecta.

La hipótesis cuestionada, conocida como la Hipótesis del Tiempo Exponencial (ETH), sostenía que el esfuerzo computacional para resolver problemas crece exponencialmente con su tamaño. Esta premisa ha guiado décadas de investigación en complejidad algorítmica, pero OpenAI y Anthropic afirmaron haberla refutado. Jonsson anticipa que su ponencia en el Simposio IEEE sobre Fundamentos de la Informática enfrentará desafíos, ya que colegas podrían cuestionar la validez de sus argumentos. "Es frustrante, pero también enseña", reconoce, resaltando que la ciencia progresa al confrontar ideas con evidencia.

Las pruebas, publicadas en GitHub por ambas empresas en lenguaje natural y formato Lean, aún no han sido verificadas por la comunidad académica. OpenAI invitó a investigadores de la Universidad de California en Santa Bárbara y del MIT a revisar los hallazgos, incluyendo un formulario para voluntarios y el compromiso de financiar una conferencia. Daniel Lokshtanov, de la UC Santa Barbara, advirtió que el resultado, si se confirma, invalidaría o requerirá revisión de alrededor de 50 de sus artículos, describiendo el evento como "una bomba gigante en medio del campo".

Thore Husfeldt, de la Universidad de Tecnologías de la Información de Copenhague, expresó entusiasmo, comparando el descubrimiento con "una habitación iluminada con un haz de conocimiento". A diferencia de otros investigadores, Husfeldt no muestra desesperación, sino energía para explorar nuevas líneas de investigación. Sin embargo, reconoce que la aceleración de resultados por IA ha generado agotamiento emocional en la comunidad, incluso llevando a su departamento a considerar contratar a un psicólogo laboral para abordar el "depresión" y "tristeza" reportadas.

La proliferación de trabajos generados por IA, incluidos 722 manuscritos publicados por OpenAI en GitHub, ha generado críticas por su calidad y la dificultad para analizarlos. Aunque el artículo sobre la ETH parece más sólido que publicaciones anteriores, la comunidad académica exige una revisión rigurosa.

Victor Lagerkvist, de Linköping, planea retomar problemas abandonados al asumir la ETH como válida, mientras que Lokshtanov advierte que el hallazgo podría preocupar a diseñadores de sistemas criptográficos, aunque no afecta directamente a la seguridad web actual. Husfeldt subraya la importancia de mantener la investigación teórica abierta, ya que gran parte de la infraestructura digital depende de suposiciones como la ETH.

Jonsson, por su parte, revisará su trabajo y el de otros autores, buscando aplicar las nuevas herramientas de IA para abordar problemas sin depender de hipótesis invalidadas. "Son tiempos apasionantes", concluye, agradeciendo la oportunidad de experimentar un hito que pocos investigadores jamás verán en sus carreras.