Las matemáticas actuales no poseen la suficiente capacidad para poder distinguir problemas de tipo P y NP, para los cuales es necesario desarrollar algoritmos bastante complejos.