Jun Fukuyama's P≠NP Paper

Jun Fukuyama has been working on P vs NP for 10 yrs and created a blog, Jun Fukuyama's P≠NP Page on Jul 1 2012 to announce his recent proof. there does not seem to be further publicity by the author (other than him email some leading complexity theory professors). the site has several papers. the main paper is 60 pages. there are several slideshow summaries/presentations/overviews including handwritten notes and diagrams and additional explanatory material.

there are two entries so far on the blog dated Jul 1 and Aug 26. from the blog, "It’s a generalization of Razborov-Alon-Boppana proof of super polynomial monotone circuit complexity to compute cliques." he states in a blog comment the paper is submitted to Transactions on Computation Theory. he has posted and replied to comments on his blog. from the paper:

Acknowledgement: The author would like to thank Professors Martin Fu ̈rer at Penn State, Osamu Watanabe at Tokyo Institute of Technology, and Eric Allender at Rutgers University for their good suggestions. Also, it has been very helpful of Professors Tadao Saito at the University of Tokyo and Hisashi Kobayashi at Princeton University to provide supports toward the submission of this paper.

From his LinkedIn profile, Fukuyama was an Assistant Professor at Indiana State University 2001-2006 teaching undergraduate and graduate courses in computer science. also from the profile he has over a half dozen published papers in computer science and electrical engineering. he has a PhD in Theoretical Computer Science from Penn State University. his PhD dissertation is entitled "Approximability of Some Combinatorial Optimization Problems", 2001.

discussion:

• hacker news reaction/discussion/commentary of proof, links, etc
• monotone circuits chat room off of cstheory.stackexchange.com. live chat room discussion with Fukuyama with background, many related links re Razborovs natural proofs barrier & Chows & Liptons counterarguments, points of the proof, etc, opened ~1/1/2012