← All problems
MATHEMATICS
Lonely Runner
The problem
Prove the Lonely Runner Conjecture for 14 runners, ideally through a certified structural theorem.
MATHEMATICS
Prove the Lonely Runner Conjecture for 14 runners, ideally through a certified structural theorem.