¿Verificar una solución es tan fácil como encontrarla? Nadie lo sabe aún
Comprobar que un sudoku está bien resuelto es fácil; resolverlo desde cero, no. Si P fuera igual a NP, esa asimetría desaparecería y la criptografía se derrumbaría. Es el problema abierto más importante de la informática teórica. Lo incluyo porque casi todo lo que damos por seguro en seguridad depende de que la respuesta sea no.
Wikipedia
AFAna FerrerConexiones
Trazadas y explicadas por personas: la razón es lo que las hace valiosas.
«Conectar A y B pone en tensión la asimetría teórica entre verificar y resolver (P vs NP), base de nuestra confianza y criptografía, con la realidad práctica de 2026: máquinas que "parecen" inteligentes obligan a definir nuevos criterios y protocolos de verificación y confianza más allá del test de Turing.»
AFAna Ferrer
El test de Turing ha muerto de éxito: lo pasamos de largo sin darnos cuentaArtículo«Ambos son problemas fundacionales cuya resolución convertiría en certezas muchas hipótesis algorítmicas: P vs NP decidiría si problemas verificables tienen soluciones eficientes (impactando la criptografía), y Riemann legitimararía estimaciones sobre primos que condicionan algoritmos y seguridad.»
AFAna Ferrer
El problema del millón de dólares sobre dónde se esconden los primosArtículo