paper

On the plane and its coloring

arXiv:2206.12633

Abstract

We provide a human-verifiable proof that, in a certain sense, the chromatic number of the plane is exactly 7.