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