A Critique of Lin's "On $\text{NP}$ versus $\text{coNP}$ and Frege Systems"

Nicholas DeJesse, Spencer Lyudovyk, Dhruv Pai +1

In this paper, we examine Lin's "On NP versus coNP and Frege Systems" [Lin25]. Lin claims to prove that $\text{NP}\ne \text{coNP}$ by constructing a language $L_d$ such that $L_d…