Chromatic number of the plane

The unit distance graph on has edges between those pairs of points at Euclidean distance .  The chromatic number of this graph lies between (by exhibiting a small subgraph on vertices with chromatic number ) and (by an explicit colouring based on a hexagonal tiling of the plane).  Aubrey de Grey has just posted a …