Собственно вопрос в заголовке. Дело в том, что согласно
https://en.wikipedia.org/wiki/Lonely_runner_conjecture она не решена. Однако, здесь
http://www.openproblemgarden.org/op/solution_to_the_lonely_runner_conjecture приводиться доказательство. Док-во 2012 года, но в вики не попало. Почему? Оно неверно?