How a Mathematician Solved a Problem That Puzzled Computer Scientists for 30 Years

On July 1, Emory University mathematician Hao Huang quietly proved a theorem — and the mathematics and computer science worlds roared. In an elegant argument, laid out over six pages, Huang unequivocally proved the sensitivity conjecture, a thorn in the side of computer scientists for decades.