*Natural Proofs*, which showed that there's no "Natural Proof" of the P vs. NP Problem (the most important open problem in theoretical computer science). For details, see Jon Erickson's editorial in DDJ.

*May 21, 2007*

Congratulations to Alexander Razborov and Steven Rudich, winners of the 2007 GĂ¶del Prize in theoretical computer science for their 1994 paper *Natural Proofs*, which showed that there's no "Natural Proof" of the P vs. NP Problem (the most important open problem in theoretical computer science). For details, see Jon Erickson's editorial in DDJ.