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.