[FOM] New manuscripi on NP $\neq$ co=NP

[Timothy Y. Chow]

Martin Dowd wrote:

> After my bungled earlier attempt, I think I finally have a proof that
> NP$\neq$co-NP. A preprint is available at
> Separating some Complexity Classes
> https://www.researchgate.net/publication/359037590

Since Edward Haeusler thinks he has a proof that NP = co-NP, it would seem 
natural for the two of you to examine each other's proofs.

https://cs.nyu.edu/pipermail/fom/2021-November/022975.html

Note that since NP = PSPACE implies that NP = co-NP, you could also 
exchange notes with Lew Gordeev.

https://arxiv.org/pdf/2011.09262.pdf

Tim