Domingo 8 de noviembre de 2026 ·

Un análisis pone en duda que la demostración de OpenAI sobre la hipótesis ETH sea útil en la práctica

Relevancia 67 de 100 Estados Unidos, California

Los investigadores Fabio Dias e Yvens Lima publicaron el 31 de octubre de 2026 un preprint que analiza la propuesta con la que OpenAI afirma haber refutado la hipótesis del tiempo exponencial (ETH), formalizada en Lean. Calcularon los límites de tiempo del algoritmo y concluyen que, en las condiciones estudiadas, no garantiza ventaja frente a la búsqueda exhaustiva para problemas 3-SAT de tamaño manejable. El trabajo no verifica si la refutación es correcta. OpenAI anunció el resultado el 26 de octubre y puso el material a disposición de los investigadores.

Qué significa

Matiza el alcance del anuncio de OpenAI: un avance teórico sobre la complejidad de 3-SAT no se traduce de inmediato en resolutores más rápidos para problemas reales.

Fuentes originales

Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.

También ese día

Todas las noticias de IA del domingo 8 de noviembre de 2026 ->