I'm assuming Numberphile indeed, as that's the most likely for a Brady Haran channel with 3b3b as a guest.