Un Anuncio que Sacude la Teoría de la Computación
El 26 y 27 de octubre, OpenAI y Anthropic sorprendieron al mundo académico al anunciar que sus modelos de inteligencia artificial habían descubierto un algoritmo sub-exponencial para el problema 3-SAT. Este hallazgo podría refutar la hipótesis del tiempo exponencial, una piedra angular de la informática teórica formulada por Impagliazzo y Paturi en 1999.
¿Qué es el Problema 3-SAT?
El problema 3-SAT es un desafío clásico en la teoría de la computación, que implica determinar la satisfacibilidad de ciertas fórmulas lógicas. La hipótesis del tiempo exponencial sugiere que no existe un algoritmo significativamente más rápido que la fuerza bruta para resolverlo en todos los casos.
La Naturaleza de la Prueba
La prueba de esta nueva hipótesis fue formalizada utilizando el asistente de prueba Lean. Sin embargo, es crucial señalar que la prueba de Anthropic no ha sido verificada por humanos, lo que introduce un grado de incertidumbre. Un examen abierto, liderado por Impagliazzo, Paturi y Williams, está en curso para evaluar estos resultados, aunque sin valor de certificación.
Impacto Práctico: ¿Revolución o Ilusión?
A pesar del potencial teórico del descubrimiento, OpenAI ha aclarado que el algoritmo solo supera la fuerza bruta cuando se trata de más de 10^10000 variables. Esto significa que no hay un impacto práctico inmediato, y se asegura que ningún sistema de cifrado está comprometido.
Consideraciones de Riesgo
- Verificación Humana: La falta de verificación humana de la prueba de Anthropic es un punto crítico que podría afectar la credibilidad del hallazgo.
- Impacto Práctico Nulo: Aunque teóricamente significativo, el descubrimiento no tiene aplicaciones prácticas inmediatas, lo que podría limitar su relevancia a corto plazo.