Knuth on Huang's Sensitivity Proof: “I've got the proof down to one page” [pdf]
The Sensitivity Conjecture, which I blogged about here, says that, for every Boolean function f:{0,1}n→{0,1}, the sensitivity of f—that is, the maximum, over all 2n input strings x∈{0,1}n, of…