लोग पी के सबूत प्रयासों के बारे में संदेह कर रहे हैं! = एनपी एक ही कारण है कि लोग किसी भी प्रसिद्ध अनुमान के सबूतों से उलझन में हैं: झूठे सबूत हर कुछ महीनों में प्रकाशित किए जाते हैं और गोली मार दी जाती है। इस बीच, प्रसिद्ध अनुमानों के सही प्रमाणों पर ध्यान देने में थोड़ी परेशानी होती है, इसके बावजूद (देखें, उदाहरण के लिए, पॉइंकेयर अनुमान या फ़र्मेट के अंतिम प्रमेय), लेकिन ये प्रमाण अक्सर समूहों के समूहों द्वारा बड़े पैमाने पर किए गए प्रयासों के गहन ज्ञान पर निर्भर करते हैं गणितज्ञ (जैसे कि पॉइंकेयर अनुमान के लिए हैमिल्टन के रिक्की प्रवाह या टैनियामा-शिमुरा-वेइल अनुमान के लिए फ़र्मेट के अंतिम प्रमेय) भले ही अंतिम चरण एक ही सिद्धांतकार द्वारा किया गया हो।
पी बनाम एनपी एक विशेष रूप से कांटेदार समस्या है क्योंकि सभी "स्पष्ट" विधियां न केवल एक प्रमाण देने में विफल रही हैं, बल्कि मजबूत प्रमेयों के साथ बेकार साबित हुई हैं। पहली बार साबित होने वाले बहुत संभावना है कि लगता है कि वे एक सबूत पर ठोकर खाई है, लेकिन इसके बजाय इन प्रसिद्ध जाल में से एक में गिर गए हैं। उल्लेखनीय रूप से, यह दर्शाते हुए कि पी! = एनपी को साबित करने के कई तरीके काम नहीं कर सकते हैं। यह कुछ हद तक अपमानजनक है कि हम यह भी नहीं दिखा सकते हैं कि 3Sat पर्णपाती रैखिक समय नहीं है, अकेले बहुपद समय के बाहर!
मेरा तर्क है कि बहुत कम लोग मानते हैं कि यह कभी भी सिद्ध नहीं होगा। वास्तव में, कथन पी! = एनपी कम्प्यूटेशनल जटिलता की हमारी समझ में एक ऐसा बुनियादी अवरोधक है कि यह सोचना मुश्किल नहीं है कि यह एक सरल और सुरुचिपूर्ण कारण के लिए सच है।
हालाँकि, यदि कोई निंदक बनना चाहता है, तो P = = NP कथन के समतुल्य है कि सिर्फ इसलिए कि एक प्रमाण आसान है (अर्थात संक्षिप्त) का अर्थ यह नहीं है कि प्रमाण को खोजना बहुत कठिन नहीं है (अर्थात सुपर-बहुपद खोज समय लेता है )। वास्तव में अधिकांश सिद्धांतों का मानना है कि साक्ष्य खोजने के लिए कोई उप- घातांक समय एल्गोरिदम नहीं है, जो यह सुझाव देता है कि साक्ष्य खोजने की कोई एक विधि (अर्थात गणितज्ञ सोच या कंप्यूटर खोज) को देखते हुए, सरल लघु प्रमाणों के साथ कई प्रमेय हैं जो अत्यंत कठिन हैं खोज (संभावित खोज समय की सहस्राब्दी)। चाहे पी! = एनपी एक ऐसी प्रमेय है जो निश्चित रूप से ज्ञात नहीं है!
उस ने कहा, कोई कल सबूत प्रकाशित कर सकता है।