Combinatorics · Oct 6, 2026
Borsuk's conjecture fails in dimension nine
Constructs a compact subset of ℝ9 that cannot be covered by ten sets of strictly smaller diameter, disproving Borsuk's covering assertion already in dimension nine. The example consists of rank-one orthogonal projectors onto lines in ℝ4, with the Frobenius metric.
Contributors
Unreleased OpenAI model
AI systems: Unreleased OpenAI model