Polymath16 now launched: simplifying the lower bound argument for the Hadwiger-Nelson problem
What's new 2018-04-15
Summary:
Just a quick announcement that Dustin Mixon and Aubrey de Grey have just launched the Polymath16 project over at Dustin’s blog. The main goal of this project is to simplify the recent proof by Aubrey de Grey that the chromatic number of the unit distance graph of the plane is at least 5, thus making […]