Mathematician Who Claimed 'P Is Not Equal To NP' Says His Proof Is Wrong (arxiv.org)
Earlier this month, Norbert Blum, a German mathematician, had published a research paper in which he implied that P is not equal to NP. The abstract of the post read: Berg and Ulfberg and Amano and Maruoka have used CNF-DNF-approximators to prove exponential lower bounds for the monotone network complexity of the clique function and of Andreev's function. We show that these approximators can be used to prove the same lower bound for their non-monotone network complexity. This implies P not equal NP. Since the publication of that paper, several mathematicians have raised concerns with Blum's methodology, with some saying that there are flaws in it. Blum has now updated the research paper to add: The proof is wrong. I shall elaborate precisely what the mistake is. For doing this, I need some time.
It's refreshing to see people who will readily admit when they're wrong, since they're looking for the truth, not to prove a point.
That's always what I fall back two when people compare science to a religion: religion relies on faith - sticking to your beliefs no matter the evidence presented. Science will readily toss out everything they know and start over if something is proven to be wrong.
"People who think they know everything are very annoying to those of us who do."-Mark Twain
Once the debate is solved will anything change?
Only if the solution shows that P = NP.