I’m not sure how many more comment threads we will have, but we are running out of the 1000-1049 thread, so it’s time for a new one. The main news to report since the last post is that progress is being made on writing up the proof of DHJ(3) and DHJ(k). At the moment it is more like preparatory sketches, but they are pretty detailed and can, as usual, be found on the wiki. It looks as though some of the more technical parts will end up very streamlined thanks to work of Ryan O’Donnell: the final proof of DHJ(k) should be surprisingly short (though I hope that we will write it up with plenty of accompanying explanation so that it is not too compressed and hard to understand).
DHJ(3) and related results: 1050-1099