Loading paper
The chromatic number of $\mathbb{R}^8$ is at least 25 | Tomesphere