Every runner is sometimes lonely (opens in new tab)

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.