We will discuss the new combinatorial and probabilistic proof of the density Hales-Jewett theorem, developed by the "massively collaborative" polymath project. Historically, new proofs of Szemerédi's theorem (which follows from DHJ) have introduced useful, portable techniques. In spite of generalizing even the DHJ theorem, the polymath project provides what may be the most elementary known proof...