Unexpected proof of the Gaussian correlation conjecture [video]