Deolalikar’s Claim[ed P!=NP Proof]: One Year Later
rjlipton.wordpress.com
rjlipton.wordpress.com
Interesting that he called this out explicitly
Even though it's what people have been saying about potential for a new style of peer review, this call-out was more interesting to me. It's worded as if it might have gotten some royal 'we' interested in doing web-style collaboration, or at least taking it seriously.
> My biggest worry about all this is that claims of a major result should be resolved in a timely fashion, since otherwise unpleasant claims of credit and priority may arise.
In this case it's not too clear to me what's gained from keeping the updated proof private, available only to a few anonymous referees, and not available to folks like Lipton. It might still take a while to sort out even if it were generally available, but that's different from keeping it within a very slow and limited formalized process.
(At the end of the comments you'll see that the author of the proof withdrew the claim.)