Ordinary and measurable colorings of Euclidean three-space

Mikhail Koshelev, Andrey Kupavskii, Vsevolod Voronov

A proper coloring of Euclidean space is a coloring that assigns different colors to points at distance one. Using the planar character-law rigidity theorem of OpenAI, we prove that…