http://vlkamov.dreamwidth.org/1677259.html
https://vlkamov.livejournal.com/2088585.html
я в свою очередь намекал, что этот ответ на самый важный вопрос тоже мог быть неверным. Компьютер мог ошибиться, программа могла быть с ошибкой. Бывает.
Кстати про самого математика пишут, что он не верил в доказательство теоремы о 4-х красках именно потому, что машинный алгоритм доказательства был недоступен человеку.
Этот пост изначально помещен в http://vlkamov.dreamwidth.org