TY - RPRT TI - The lonely runner conjecture holds for eight runners AU - Matthieu Rosenfeld PY - 2025 UR - https://arxiv.org/abs/2509.14111 ID - 2509.14111 ER -