Home Online Mathematical Communication What's new Polymath16 now launched: simplifying the lower bound argument for the Hadwiger-Nelson problem