Three-color van der Waerden numbers grow faster than any exponential in the progression length | arXiv News