Eleven, twelve, and thirteen lonely runners
Touch Sungkawichai, Tanupat Trakulthongchai
AI use, as the source states it
“Ultimately, we provide a computer-assisted proof of the Lonely Runner Conjecture for k ∈ {10, 11, 12}.”
Problem
Named here, or see a mistake? Write to privacy@papex.org.