Barry Mazur and the Infinite Cheese of Knowledge [video]