Razborov-Rudich Natural Proofs theorem.

(AFAIK) People were very hopeful about proving circuit lower bounds but after this theorem many stopped working and moved to other topics.