Schur's conjecture on faces of diameter complexes

Let $A$ be a set of $n$ points in $\mathbb R^d$, and let its diameter complex be the simplicial complex whose faces are subsets of $A$ with diameter equal to the diameter of $A$. Schur's conjecture. The number of $(d-1)$-faces of every diameter complex for a set of $n$ points in $\mathbb R^d$ is at most $n$. The source states that this conjecture was later proved by Kupavskii and Polyanskii, so its database status is solved.