RecodeX 重构消息，数学家们数十年来一直试图解决“孤独跑者”问题，即确定在环形跑道上以不同恒定速度跑步的跑者中，无论速度如何，总会有多少跑者最终独自奔跑。