OpenAI afirma que su sistema de IA ha refutado la Hipótesis del Tiempo Exponencial, una tesis mantenida durante años sobre la dificultad de resolver ciertos problemas lógicos. El anuncio del 26 de octubre ha llevado a varios investigadores a organizar una revisión independiente, mientras que el resultado divulgado no demuestra un ataque práctico contra Bitcoin.
El manuscrito, fechado el 17 de octubre y revisado el 25 de octubre, afirma contar exactamente las asignaciones que satisfacen fórmulas booleanas de ancho fijo mediante un algoritmo determinista, en tiempo subexponencial y con espacio polinómico. El problema se relaciona con 3-SAT, en el que un ordenador busca asignaciones de verdadero o falso que satisfagan reglas lógicas. OpenAI afirma que el trabajo fue verificado en Lean, pero la nota sobre el alcance de la formalización cubre una cota subexponencial más débil que la afirmación más contundente del manuscrito.
Por qué importa
Un resultado subexponencial no equivale a un algoritmo práctico para las máquinas actuales. Tampoco demuestra la existencia de un algoritmo en tiempo polinómico ni resuelve P=NP. Los investigadores que organizan la revisión han señalado que su participación no debe interpretarse como una certificación, y tienen previsto publicar sus conclusiones a medida que avance el examen.
La relevancia para Bitcoin depende de separar dos cuestiones de seguridad. La minería requiere encontrar un hash de encabezado de bloque inferior a un objetivo, mientras que la autorización del gasto depende de firmas ECDSA y Schnorr sobre la curva secp256k1. Estos sistemas dependen de la resistencia al logaritmo discreto en curvas elípticas y de la seguridad de las funciones hash, no simplemente de la dificultad en el peor caso de SAT.
Impacto en el mercado
La afirmación no demuestra por sí sola que un atacante pueda recuperar claves privadas de Bitcoin, falsificar firmas u obtener una ventaja práctica en la minería. Un ataque concreto requeriría una codificación adecuada, una implementación y una comparación de costes. Además, el número de variables de una fórmula SAT no puede sustituirse directamente por una clave criptográfica ni por la longitud en bits de un hash.
El ajuste de dificultad de Bitcoin recalcula el objetivo de minería cada 2.016 bloques, pero ese mecanismo regula la producción de bloques, no la autorización de firmas. Para los mercados, la señal inmediata es que el resultado sigue bajo escrutinio, no que haya un cambio demostrado en los supuestos de seguridad de Bitcoin.
Preguntas frecuentes
-
¿Qué problema aborda el supuesto avance de OpenAI?
El resultado aborda 3-SAT y problemas de conteo relacionados con fórmulas booleanas. Se refiere a la complejidad computacional en el peor caso, no a un ataque demostrado contra Bitcoin.
-
¿El resultado resuelve P=NP?
No. El trabajo divulgado no demuestra un algoritmo en tiempo polinómico ni resuelve si todo problema cuya solución puede verificarse eficientemente también puede resolverse de forma eficiente.
-
¿Por qué el resultado no amenaza de inmediato las firmas de Bitcoin?
La autorización del gasto en Bitcoin usa firmas ECDSA y Schnorr sobre secp256k1. Un resultado sobre SAT en el peor caso no proporciona por sí solo un método para recuperar claves privadas o falsificar esas firmas.
-
¿Podría el avance dar a los mineros una ventaja inmediata?
No se ha demostrado ninguna ventaja inmediata en la minería. Minar Bitcoin requiere encontrar un hash de encabezado de bloque inferior a un objetivo, y un ataque práctico necesitaría una implementación y una comparación de costes.
-
¿Qué ocurrirá ahora con la afirmación de OpenAI?
Los investigadores organizan una revisión independiente sin considerar su participación como una certificación. Tienen previsto compartir sus conclusiones a medida que avance el examen.
WuBlockchain
CoinTelegraph
WatcherGuru
TheBlock
CoinDesk