Stel je een atletiekwedstrijd voor die ontworpen is door een sadist, of misschien wel een wiskundige. Een groep hardlopers wordt losgelaten op een cirkelvormige baan, elk met hun eigen unieke, constante snelheid. De vraag die het vakgebied al decennia achtervolgt is bedrieglijk eenvoudig: hoeveel van deze lopers zullen onvermijdelijk, op een bepaald moment, ontdekken dat ze helemaal alleen aan het rennen zijn?
Dit is het zogenaamde 'Eenzame Loper'-probleem, een puzzel die alleen maar eenvoudig lijkt. Het vraagt of er, gegeven een willekeurige set verschillende snelheden, altijd minstens één loper zal zijn die uiteindelijk geïsoleerd raakt van de groep. Het antwoord op dit ogenschijnlijk eenvoudige scenario blijkt allesbehalve vanzelfsprekend te zijn.
Decennialang heeft dit probleem wiskundigen geplaagd, die eromheen cirkelen zoals de hypothetische lopers rond hun baan cirkelen. De kernuitdaging is het bewijzen van een algemene regel over eenzaamheid die standhoudt, ongeacht welke specifieke, unieke tempo's aan de atleten worden toegewezen.
De zoektocht naar een oplossing is op zichzelf een langeafstandsrace geworden binnen de wiskundige gemeenschap, wat aantoont dat sommige van de meest elegante vragen kunnen leiden tot de meest uitputtende intellectuele marathons.