In particular, Razborov and Rudich showed that, under the assumption that certain kinds of one-way functions exist, such proofs cannot give a resolution of the P = NP problem, so new techniques will be required in order to solve this question.
Ειδικότερα, ο Ραζμπόροφ και ο Ρούντιτς έδειξαν ότι, κάτω από την υπόθεση ότι ορισμένων ειδών μονόδρομων συναρτήσεων υπάρχουν τέτοιες αποδείξεις που δεν μπορούν να δώσουν λύση στο πρόβλημα P=NP, έτσι θα απαιτηθούν νέες τεχνικές για να λύσουν αυτό το ζήτημα.