Хорошо бы Фон-дер-Флаасс привел ссылку на авторитетный источник, где пытались бороться.
Хорошо бы, но сейчас уже не спросишь.
В общем, резюме такое. Доказательство Горбатова, по сути, состоит в применении его же теоремы 3.52 в частном случае

. Как я понимаю, эта теорема — не что иное, как гипотеза Hajós-а; Горбатовым она доказана для любого

. Если не принимать в рассмотрение учебник Горбатова, то эта гипотеза доказана для

, а для случая

это — открытая проблема. Однако, известно, что для

эта гипотеза
неверна. Таким образом, в доказательстве Горбатова стопроцентно есть ошибка, а потому и гипотеза четырёх красок им
не доказана.
В чём эта ошибка состоит я не вполне уверен — стиль изложения у Горбатова очень запутанный. У меня впечатление, что ошибка состоит в следующем. Он ввёл свои "квазиполные графы" и сказал, что квазиполный граф плотности

и "порядка"

он будет обозначать через

. При этом нигде не сказано, не доказано и, видимо, неверно, что граф

единственен; но при этом в некоторых местах эта единственность, похоже, неявно используется.