I’ve produced a short and much elementary proof of P=NP (without an efficient algorithm presented). I sent it to a reputable CS journal and insofar there were no errors noticed by the editor.

Here is an updated version of my proof with some errors corrected:

In more details (and some errors corrected):

Yet a small error corrected:

Changed execution model to have “disk” to verify input/output:

Yet error corrected:

Report if you found any errors in comments.

I also sent it to developers of automatic proof verification softwares.

An amazing, well articulated article by a great Mathematician VICTOR PORTON.

I did a logic error: I by mistake assumed that every verifier of an NP-compete problem is polynomial-time.

I proved an important (new?) result: Every at-most exponential-time algorithm can be verified in polynomial time. That will be useful for Cartesi blockchain (I informed them).

One more small proof step:

– Every EXPTIME problem f can be verified by an algorithm v solving an NP-complete problem: f(x) = 1 v(x, a) = 1.

– In turn, v can be verified by a polynomial-time algorithm u: v(x, a) = 1 u(x, a, b) = 1.

– So, the original EXPTIME can be verified by polynomial-time algorithm u using data (a, b).

– EXPTIME = NP.