Algunas propiedades matemáticas famosas tal vez nunca tengan pruebas, como la conjetura de Christian Goldbach de 1742 de que cada entero par es la suma de dos primos, o la pregunta más esquiva e impor...Algunas propiedades matemáticas famosas tal vez nunca tengan pruebas, como la conjetura de Christian Goldbach de 1742 de que cada entero par es la suma de dos primos, o la pregunta más esquiva e importante en la teoría de la computación: ¿P=NP? (En pocas palabras: ¿la clase de problemas donde es fácil verificar una solución una vez que la tienes pero muy difícil de encontrar uno realmente tiene un algoritmo fácil para encontrarlos que simplemente no hemos descubierto todavía?