No, since stockfish only works with evaluations (win probabilities of some sort). A solution would be "moves e4, e4, c4, Nf3, g3 draws, other moves lose". Or when asked to demonstrate a win, it would show how to forcefully acheive a position that is heuristically deemed as a win (like a rook up in a quiet position).
It just occured to me that a quiet position with a rook up can be a draw, so if Stockfish knows all too well that it is a win, then Stockfish is wrong.
Stockfish actually happens to think it is a win:
This shows that heuristics can always leak.
Even if I accept that there are unshakable heuristics, these can not reduce the search space in a significant enough way.
This is a draw
There is a Rook Sac!
It's a draw because after 50 moves without a pawn move, it's a draw...
No, since stockfish only works with evaluations (win probabilities of some sort). A solution would be "moves e4, e4, c4, Nf3, g3 draws, other moves lose". Or when asked to demonstrate a win, it would show how to forcefully acheive a position that is heuristically deemed as a win (like a rook up in a quiet position).
It just occured to me that a quiet position with a rook up can be a draw, so if Stockfish knows all too well that it is a win, then Stockfish is wrong.
Stockfish actually happens to think it is a win:
This shows that heuristics can always leak.
Even if I accept that there are unshakable heuristics, these can not reduce the search space in a significant enough way.
This is a draw
There is a Rook Sac!
Where is the rook sac? Black can just move king all day long and depending on whose time is lower, loses...