 Borsuk conjecture

The Borsuk conjecture asserted that every bounded subset of ${\mathbb{R}}^d$ with positive diameter can be partitioned into $d+1$ subsets of strictly smaller diameter. It is false in sufficiently high dimension.