The lonely runner conjecture holds for nine runners
Matthieu Rosenfeld·2025-12-02·via math.CO updates on arXiv.org
We prove that the lonely runner conjecture holds for nine runners. Our proof is based on a couple of improvements of the method we used to prove the conjecture for eight runners.