Slashdot Mirror
How the Web Rallied To Review the P != NP Claim
An anonymous reader writes "Remember, about a month ago, when a researcher claimed he had a proof that P != NP? Well, the proof hasn't held up. But blogs and news sites helped spur a massive, open, collaborative effort on the Internet to understand the paper and to see if its ideas could be extended. This article explains what happened, how the proof was supposed to work, and why it failed."
No matter the flaws with his paper, this guy has certainly managed to inspire a whole lot of people to delve into a subject and collaborate on it.
Those who think deep thoughts are precious. Those who manage to inspire thousands of others to do so...
People replying to my sig annoy me. That's why I change it all the time.
there should be a simpler way to go about showing that P != NP
that simpler way would only exist if P = NP
Considering that Wiles's proof for Fermat's Last Theorem, which is a number theory problem that can be trivially stated, was ridiculously complex and used some crazy maths that weren't even discovered in Fermat's time, I don't think you can really estimate the size of a proof by the complexity of the problem stated.
We would be reading this instead:
"Remember, about a month ago, when a researcher claimed he had a proof that P != NP? Well, after a month of vigorous examination by ordinary netizens and Nobel-prize-winning mathematicians, it looks like it's going to hold up. Blogs and news sites helped spur a massive, open, collaborative effort on the Internet to understand the paper and to see if its ideas could be extended. This article explains what happened, how the proof works, and the holes experts and laymen attempted to punch in it and why the proof is still standing."
Knowledge is how to play a game, intelligence is how to win, wisdom is knowing what game to play.
But we don't know that the current proof is the *only* proof. There may very well be a simpler one out there.
As for the problem simplicity vs. the proof simplicity, that's not what I said. I stated that related problems (in the same field) have simple proofs.
There's no -1 for "I don't get it."
This has been one of the best slashdot posts in a long, long while.
I'm gonna have to renew my subscription to Science News. Kudos to Ms. Rehmeyer.
Fuck systemd. Fuck Redhat. Fuck Soylent, too. Wait, scratch the last one.
Science may lead to facts, but it's not an automated process. Believe it or not, human emotions and intuition are involved with every scientific discovery!
There's no -1 for "I don't get it."
In fact Fermat would have himself needed a much simpler (and thus different) proof.......unless he made a mistake/made it up
www.RacquetUp.org - Helping Detroit Youth
Just think of all the computing power, resources have been WASTED over the years trying to figure out the final digits to pi. Does it really matter if their are 1,000,000, 1,000,000,000, or 1,000,000,000,000 digits of pi? For 99.9% of the public, 3.14xxx is good enough.