A principle for checking proofs with an application to the proof Vinay Deolalikar is standing by his claim and proof. He and I have been exchanging e-mails, and as noted in the several comments, he has updated his paper several times. The updates are trying to answer some of the questions raised here and elsewhere. However, the consensus seems to be best summarized by a recent comment here by Tere
![Deolalikar Responds To Issues About His P≠NP Proof](https://cdn-ak-scissors.b.st-hatena.com/image/square/cc2c1905f311bafcb03c858fb13dda664e577417/height=288;version=1;width=512/http%3A%2F%2Frjlipton.com%2Fwp-content%2Fuploads%2F2010%2F08%2Fscreen-shot-2010-08-11-at-9-58-49-pm.png)