  In 1933, Karol Borsuk asked whether each bounded set in the $n$-dimensional
Euclidean space can be divided into $n$+1 parts of smaller diameter. Because it
would not make sense otherwise, one usually assumes that he just forgot to
require that the whole set contains at least two points. The hypothesis that
the answer to that question is positive became famous under the name
\emph{Borsuk's conjecture}. Counterexamples are known for any $n\ge 64$, since
2013.
  Let $\Lambda$ the (original, unscaled) Leech lattice, a now very well-known
infinite discrete vector set in the 24-dimensional Euclidean space. The
smallest norm of nonzero vectors in $\Lambda$ is $\sqrt{32}$. Let $M$ the set
of the 196560 vectors in $\Lambda$ having this norm.
  For each $x \in M$, $-x$ is in $M$. Let $H$ the set of all subsets of $M$
that for each $x$ in $M$ contain either $x$ or $-x$. Each element of $H$ has
the same diameter $d = \sqrt{96}$. For dimensions $n<24$ one can analogously
construct respective $M_n$ and $H_n$ from laminated $n$-dimensional sublattices
of $\Lambda$. For uniformity, let $\Lambda_{24}=\Lambda$, $M_{24} = M$ and
$H_{24} = H$.
  If $M_n$ is divisible into at most $n+1$ parts of diameter below $d$ then
this applies to all elements of $H_n$, too. I have checked that this is the
case for all $n \le 21$. For $n$ from 22 to 24, the minimum number of parts of
diameter below $d$ that I was able to divide $M_n$ into are 25, 29 and 35,
resp. The source package of this article contains a data file encoding an
element of $H_{24}=H$ that I can not divide into less than 30 parts of smaller
diameter.
