Every runner is sometimes lonely

Since its proposal, the lonely runner conjecture has been an enticing open math problem accessible to anyone. Using polyhedral techniques, Matthias Beck (a prominent combinatorialist) claims a proof.