From Terence Tao’s blog, I see that they have finished writing the first polymath project on A new proof of the density Hales-Jewett theorem. It’s a fascinating experiment in math research (or is it maths research?) and it’s great to see that it worked.