Breakthroughs Extend the Lonely Runner Problem to 10 Runners

TL;DR
The lonely runner problem asks whether, on a circular track with N runners at unique speeds, every runner will eventually be far from all others; it has been proven for up to seven runners, with recent computer-assisted work extending the result to eight (Rosenfeld) and then nine and ten (Trakulthongchai and Rosenfeld). These advances hint at a new, cross-disciplinary approach and have researchers planning a workshop to bridge number theory, geometry, and graph theory in pursuit of a general proof—though solving the full conjecture for all N may still take decades.
Topics:technologyscience#computer-assisted-proofs#graph-theory#lonely-runner-problem#mathematics#number-theory#science
Want the full story? Read the original reporting
Read on WIRED