I’m glad to be able to report that “A new proof of the density Hales-Jewett theorem” has recently appeared in Annals of Mathematics. Unfortunately it’s behind a paywall, but you can find an almost final version on the arXiv.
I might add that my enthusiasm for this way of working is undimmed. The reason there has been no Polymathematical activity on this blog for quite a while is that I’ve been busy with more conventional projects, but in the not too distant future I’d like to do some more open research. Also, Gil Kalai and I have a plan to try soon to revive the EDP project. I won’t say any more about that now, but it seems a good moment to mention it.