<s>[INST]Genellikle karmaşıklık sınıflarının değerine atfedilen kanıtlanmamış varsayım nedir?[/INST]Bilinen karmaşıklık sınıflarının çoğunun eşit olmadığından şüpheleniliyor, ancak bu kanıtlanmadı. Örneğin P ⊆ NP ⊆ PP ⊆ PSPACE, ancak P = PSPACE olabilir. P, NP'ye eşit değilse, P de PSPACE'e eşit değildir. P ve PSPACE arasında RP, BPP, PP, BQP, MA, PH, vb. Gibi bilinen birçok karmaşıklık sınıfı olduğundan, tüm bu karmaşıklık sınıflarının bir sınıfa çökmesi mümkündür. Bu sınıfların herhangi birinin eşit olmadığını kanıtlamak, karmaşıklık teorisinde önemli bir atılım olacağını.</s>