Coz writes: Vinay Deolalikar of HP published a "proof" last week that P != NP — one of the Holy Grails of computational theory. Since then, there have been several lively discussions on whether, and how, the proof holds up, and even the NY Times has weighted in — although their emphasis is on how fast the review has been, in the degree to which technologies have been employed to generate deeper insight and allow more people to examine such things faster.
The computer can't tell you the emotional story. It can give you the exact
mathematical design, but what's missing is the eyebrows.
- Frank Zappa