Strong co-nondeterministic lower bounds for NP cannot be proved feasibly.

Jn Pich, Rahul Santhanam

Browse the full STOC paper archive.