Позиция Андрея Корнилова

Думаю, здесь надо доказать нелегетимность позиции, при доске " от белых"
И, тогда, доска перевернута, шах по восьмой, и gf8 не мат)
))
Хотя нет, слишком много взятий нужно, что бы пешки так прошли сквозь строй

Чтобы ответить утвердительно, что на диаграмме - мат белому королю, нужно посредством ретроанализа показать легитимность позиции, т.е. развязать её.
По балансу взятий проблем не видно: у белых - 3 взятия пешкой е2:f:g:h7 и одно - в запасе, у чёрных - 4 взятия пешками (a:b, c3;d2 и перекрестное взятие двумя пешками в правом верхнем углу, чтоб запустить на 7-ю горизонталь белую армаду.
Развязывание узла в нижнем левом углу, с которого всё и начинается, не сложно:
1. ... Лc2 2.Kрb1(+Кa1) Кb3 3.Kрa1 Кd4 4.Kрb1 Кb5 5.Kрa1 Ка3 6.h4-h3 Кb1 7.h3-h2 Лc1 8.c2-c2 d2:c3(+Кd2). Взятия-возврат коней соответствует балансу взятий. У белых появились отходы конём, а у чёрных - возможность отхода матующей ладьи на своё место. До её выхода и а7:b6 за чёрные пешки должен проникнуть белый король, т.к. только он на поле f8 мог прикрыть короля чёрного - никаким другим фигурам, ни чёрным, ни белым, не выйти после захода туда белой армады. Ну, а расписывание соответствующей ретроигры - не по мне... Должно получиться, поэтому - мат!...

Интересный вопрос: где и когда погибла ладья а8?
И ещё: кого и когда побила пешка а7?

Как ни кручу, в концовке одного темпохода у черных не хватает 🤔

Да. Все сходится. В первом комментарии расписано, но в обратной последовательности трудно воспринимается.
Если в прямой, ключевые моменты: Лс2, h3, Kа3, h4. Дальше черный конь с белым королем сами…

Краткое решение.
1. ... Лс2-с1+ 2. Крb1:Ka1 Kb3 3. Kpa1 Kd4+ 4. Kpb1 Kb5 5. Kpa1 Ka3 6. h3 Kb1 7. h2 Лс1 8. с2 с3:d2 (решена проблема темпоходов для белых и черных)

Далее схематически:
черная ладья с1 идет на а8 и возвращается а7:b6 (одним из двух взятий по-любому будет белый конь).
Теперь открыта дорога белому королю на последнюю горизонталь.
Белый король на f8, белый ферзь наружу, белые ладьи на d8 и е7, любой конь (белый или черный) на е8.
Черные возвращают g7-g6, белый король уходит домой, белые возвращают g6:Лh7, белая ладья на f7, черные возвращают е7:f6, белая ладья е7 домой, вторая уйдет домой, когда поставят перекрытие на g8 или черный король спрячется на h7.
Дальше проблем нет.

Нет, здесь проще надо играть. Ведь слона f8 надо еще домой вернуть. И чтобы не заморачиваться, лучше сделать это сразу.
Белый король на f8, белый ферзь наружу, белая ладья е7 на f7, белый король наружу, и на f8 черный слон. И дальше уже без разницы, какие пешки сдваивать е7:f6 или g7:f6. При любом раскладе, на h7 возвращается черная ладья. И никаких больше проблем тут нет