https://terrytao.wordpress.com/2018/04/14/polymath16-now-launched-simplifying-the-lower-bound-argument-for-the-hadwiger-nelson-problem/
What's new 04/14/2018