Preprint reports a complete check of the 14-runner lonely runner problem
A new preprint reports a complete computer-assisted verification of the Lonely Runner Conjecture for 14 runners, with 13 of them moving. The archive includes certificates, source code and an audit script; because it is a preprint, peer review may change the findings.
·85 views