If this is true (and the proof has no flaw), it would be huge and pleasant (many expect it, although there are some who think it's a problem that might be unprovable in our current logic framework). So let's see how it works out.

However the author missed that there is a special case for N == 1, where actually P == NP (sorry, I could not resist).