Void-Filtering ऑपरेटर S के माध्यम से P=NP का औपचारिक प्रमाण। यह परियोजना घातीय जटिलता को एक नियतात्मक रैखिक मैनिफोल्ड में समाहित करने के लिए सैद्धांतिक ढांचा प्रदान करती है। इसमें Zenodo पर होस्ट किए गए RSA-2048, SAT और TSP के कम्प्यूटेशनल सत्यापन लॉग के संदर्भ शामिल हैं।
Alessandro Monti (Thu,) ने इस प्रश्न का अध्ययन किया।