Polymath's combinatorial proof of the density Hales-Jewett theorem

Martin Klazar

This is an exposition of the combinatorial proof of the density Hales--Jewett theorem, due to D.\,H.\,J. Polymath in 2012. The theorem says that for given $\de>0$ and $k$, for ever…