Stanford Lecture: Don Knuth—"A Conjecture That Had To Be True" (2017)

Donald Knuth's 2017 Christmas Tree Lecture at Stanford about a combinatorial geometry problem whose computed numbers matched a striking formula. He tells the story of the conjecture and its sequel.