[MathMonkeyMan]

It's a 20 minute audio recording that talks about this paper: https://dl.acm.org/doi/pdf/10.1145/200994.201001?download=tr...