4 ms·

I found in on mathoverflow in one of the comments posted by a prominent mathematician not featured in the interviews.