The chromatic number of the plane is at least 5: a new proof (Q2189746): Difference between revisions

\textit{A. D. N. J. de Grey} [Geombinatorics 28, No. 1, 18--31 (2018; Zbl 1404.05063)] used a graph with 1581 vertices to show that the chromatic number of the plane is at least five. The lower bound, as exhibited by the Moser spindle, had been at four since 1961 [\textit{L. Moser} and \textit{W. Moser}, ``Solution to problem 10'', Can. Math. Bull. 4, 187--189 (1961)]. The present paper uses a graph with 627 vertices to achieve the same lower bound of five.