New paper on P vs NP

Timothy Y. Chow tchow at
Mon Jan 4 20:54:02 EST 2021

Lew Gordeew wrote:

> No, I don't see how to seriously weaken EFA. Sorry.

Exactly what part of the proof requires going beyond S_2^2?

Alternatively, what makes your property non-natural in the sense of 
Razborov and Rudich?

You say that your proof does not introduce "new groundbreaking ideas" and 
analyzes "already known techniques in a more sophisticated Boolean 
framework."  But if your property is non-naturalizable then that is 
certainly groundbreaking.


More information about the FOM mailing list