Imagine uma competição de atletismo projetada por um sádico, ou talvez por um matemático. Um grupo de corredores é solto em uma pista circular, cada um mantendo sua própria velocidade única e constante. A questão que assombra o campo há décadas é enganosamente simples: quantos desses corredores inevitavelmente, em algum momento, se encontrarão correndo completamente sozinhos?
Este é o chamado problema do 'Corredor Solitário', um quebra-cabeça que só parece simples. Ele pergunta se, dado qualquer conjunto de velocidades distintas, sempre haverá pelo menos um corredor que acaba isolado do grupo. A resposta para este cenário aparentemente direto provou ser tudo menos isso.
Por décadas, este problema tem atormentado matemáticos, que têm circulado em torno dele muito como os hipotéticos corredores circulam em sua pista. O desafio central é provar uma regra geral sobre solidão que seja verdadeira não importa quais ritmos específicos e únicos sejam atribuídos aos atletas.
A busca por uma solução tornou-se uma corrida de longa distância em si dentro da comunidade matemática, demonstrando que algumas das questões mais elegantes podem levar às maratonas intelectuais mais exaustivas.