Domingo 8 de noviembre de 2026 ·
OpenAI y Anthropic afirman que sus modelos internos refutan una hipótesis de la informática de hace 25 años
OpenAI y Anthropic anunciaron el 26 de octubre que sus modelos internos refutaron la hipótesis del tiempo exponencial (ETH), formulada hace unos 25 años por Russell Impagliazzo y Ramamohan Paturi. OpenAI publicó un algoritmo determinista que calcula el número exacto de soluciones de fórmulas k-CNF en tiempo subexponencial; Anthropic, un artículo sobre 3-SAT en tiempo 2^o(n) con prueba formal en Lean 4 redactada por IA y firmado por Claude. Ambas empresas aclaran que el resultado es asintótico y no implica algoritmos subexponenciales para todos los problemas NP. Impagliazzo, Paturi y Ryan Williams colaboran en una revisión independiente.
Qué significa
Si el resultado se confirma, afecta a los cientos de estudios de informática y biología que dan la ETH por supuesta y obliga a revisar qué problemas se consideran intratables. Para el público general el efecto práctico es, por ahora, mínimo, según los propios autores.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- 鏈新聞 ABMediaLeer la noticia completa en 鏈新聞 ABMedia
Relacionadas
También ese día
Todas las noticias de IA del domingo 8 de noviembre de 2026 ->