![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Update on P v NP thing
A lot of discussion has been going on on RJ Lipton's blog and he yesterday posted a summary of the progress in one week. On balance I'd say it doesn't look hopeful that Deolalikar's proof can be patched, but there's an interesting sociological process going on, especially for those of us with an interest in the nature of mathematical proof.