Home Online Mathematical Communication What's new Polymath15, seventh thread: going below 0.48