Classification of finite Euclidean Ramsey configurations

Formal proof listed 1 paper September 23, 2026
What the paper claims, in its own words

Classifies finite point configurations that occur monochromatically, at their original scale, in every finite coloring of sufficiently high-dimensional Euclidean space. The characterization is an algebraic condition over the coordinate field. It also disproves the Leader–Russell–Walters conjecture that every such configuration is a subset of a finite transitive set.

The plain-language explainer for this entry is still coming.

The original paper