An exponential improvement for diagonal Ramsey (numbers)

Huge news, because this is the first improvement on the upper bound for the diagonal Ramsey numbers since 1935.