Home Online Mathematical Communication What's new Polymath15, ninth thread: going below 0.22?