[...] explanations why this is an important problem, and also that proofs are really, really hard. But as Cameron Neylon wrote, it was also a nice example of public peer review. A mere day after the announcement of the proof …