Reinhold, kopier' dir doch die .pgn oben ins Fritz- GUI, da hast du alles, was du brauchst und mehr.
Drum hab' ich ja extra auch SF gegen LC0 mit Hin- und Rückpartie ausspielen lassen, weil ich es kommen sah, da würden Zweifel angemeldet werden
Wenn du ein langsames Backward der Weiß gewinnt- Lines aus der obigen .pgn nach 1.Kxf5 machst, bekommst du mit SF dev. an der Ausgangsstellung eine "Bingo"- Eval (um die +200) für diesen Zug. Das Matt sollte in ca. 80 Zügen erreichbar sein, das ist zu weit für einen DTM- Output, aber die anrechenbaren 6Steiner sollten im Hash behalten werden bis zum Anfang.
Edit: Damit man sieht, wie leicht das mit guter Hardware nachvollziehbar ist, ich hab gleichzeitig mit dem Antworten auf deine Frage mit einem neuen Backward mit SF auf 30 Threads und 32G Hash angefangen und bin jetzt auch schon beim Anfang, hier der Output nach 1.Kxf5:
Analysis by Stockfish dev-20230622-a49b3ba7:
1...a4 2.e4 b2 3.Lxb2+ Kxb2 4.e5 a3 5.e6 a2 6.e7 a1D 7.e8D Df1+ 8.Kg5 Dd3 9.De5+ Ka2 10.g4 Dg6+ 11.Kf4 Df7+ 12.Kg3 Db3+ 13.Kh4 Df7 14.De3 Dg6 15.Df2+ Ka1 16.Dd4+ Ka2 17.Dd5+ Kb2 18.Kg3 De8 19.Dd4+ Kb1 20.h4 De1+ 21.Df2 De5+ 22.Kg2 De4+ 23.Df3 Dc2+ 24.Kh3 Dc1 25.h5 Ka1 26.Df6+ Kb1 27.Df5+ Ka1 28.Kg2 Dc6+ 29.Kf2 Dh6 30.Kf3 Kb2 31.De5+ Ka2 32.Ke4 Kb3 33.Dg3+ Ka2 34.Df2+ Ka1 35.Dd4+ Ka2 36.Kf5 Kb3 37.Dd5+ Ka3 38.Df3+ Kb2 39.De2+ Kc1
+- (198.09) Tiefe: 58/103 00:03:20 17598MN, tb=17254000
Weiß steht klar auf Gewinn
Edit, edit: Der Hash reicht sogar, mit einem extra- Backward einer 1.g4 (!) - Line sowohl das #28 dafür als auch die +198 für 1.Kxf5 im MultiPV=2- Output zu behalten:
Analysis by Stockfish dev-20230622-a49b3ba7:
1. +- (#28): 1.g4 fxg4 2.e4 a4 3.e5 b2 4.Lxb2+ Kxb2 5.e6 a3 6.e7 a2 7.e8D a1D 8.De5+ Kb1 9.Dxa1+ Kxa1 10.Kxg4 Kb2 11.Kh5 Kc3 12.Kh6 Kd4 13.Kxh7 Ke5 14.Kg6 Ke6 15.h4 Ke7 16.Kg7 Kd7 17.h5 Kc6 18.h6 Kc5 19.Kf6 Kd4 20.h7 Kd3 21.h8D Kd4 22.Dc8 Kd3 23.Ke5 Ke2 24.Dc3 Kf2 25.Kf4 Kg1 26.Kf3 Kh1 27.Dc2 Kg1 28.Dg2#
2. +- (198.13): 1.Kxf5 b2 2.Lxb2+ Kxb2 3.e4 a4 4.e5 a3 5.e6 a2 6.e7 a1D 7.e8D Df1+ 8.Kg5 Dc1+ 9.Kh5 Dd1+ 10.g4 Dd5+ 11.Kh4 Dc5 12.De2+ Kb1 13.g5 Dd5 14.De3 Ka1 15.h3 Ka2 16.Kg3 Dd6+ 17.Df4 Dd3+ 18.Kg2 Dd5+ 19.Kh2 Dd1 20.h4 De2+ 21.Kg3 Dd3+ 22.Kg2 Dg6 23.Dc4+ Kb2 24.Kf3 Dh5+ 25.Kf2 Dg6 26.Dd5 Dc2+ 27.Ke3 Dc7 28.Ke4 Dc8 29.Kf4 Kc1 30.De4 Kb2 31.h5 Df8+ 32.Kg3 Dd6+ 33.Df4 Dd3+ 34.Df3 Dd6+ 35.Kg2 Dd7 36.h6 Ka1
Übrigens wäre das für mein Verständnis der Kommentar- Palette vielleicht auch die beste Notation, ein ! für g4, obwohl kein single game- changer, ist es der eindeutige best move, fürs 1.Kxf5 ein ?!, weil's zwar auch gewinnt, aber deutlich länger braucht dafür, ob das ? damit auch gerechtfertigt wäre, das ist Geschmackssache, spielt ja dann nicht die gleich gewichtige Rolle, wenn das 1.g4 seinerseits auch zusätzlich als besonders gut gekennzeichnet ist.