Hallo Gerhard!
Das ist aber schon gemein
Du weißt natürlich genau, dass man für den Beweis, dass es gewonnen ist, die kompletten 6Steiner braucht. Ernest Bonnem hat schon eine Variante gebracht, die ziemlich sicher gewinnt, noch von mir ein paar andere:
1. Rd6 Bc5 2. Ra6 Bf2 (2... Bf8 3. Nd7 Bb4 (3... Bg7
4. Ke7+ Kh7 5. Nf6+ Bxf6+ 6. Kxf6) 4. Ne5+ Kh7 5. Ra7+ Kg8
6. Nf7 Nxf7 7. Rxf7 Bc3) 3. Ra4 Bg3 4. Rc4 Bf4 5. Rc6 Nf7
6. Ra6 Bh2 7. Ne8 Ne5 8. Ke7+ Kh7 9. Nf6+ Kg7 10. Ke6 Nc4
11. Ra8 Bf4 12. Nh5+ Kg6 13. Rc8 Ne3 14. Nf6 Nxg4 15. Rg8+
Kh6 16. Nxg4+ Kh5 17. Nf6+ Kh4 18. Rh8+ Kg3 19. Nh5+ Kf3
20. Nxf4
Das mündet alles in gewonnene 6Steiner, natürlich kann man auch beliebig oft abweichen und ob das dann ein kürzerer oder längerer Weg wird oder doch blind in einen Remis 6Steiner mündet, kannst du doch wohl auch nicht anders als mit den Tablebases beweisen, oder?
Das ist der Nachteil an solchen Studien, sie sind meiner Meinung nach zu weit weg von menschlicher Durchrechenbarkeit. Dass das gewonnen ist, kann man als sicher annehmen, beweisen kann man es nur mit Computer und Datenbank, oder hab' ich was übersehen?