It seems like it takes a human to make these assumption. hgm however suggested that the engine should know itself.Evert wrote:Fix all pawns in place (don't move them, they get taken immediately anyway). Mark as won any position where black can play Kxg2. Recursively mark all precursors as won. The given position ends up not being marked as won, hence it's a draw.Edmund wrote: After all this is still a 7 men endgame.
What assumptions would you make to be able to solve this endgame in just a couple of seconds?
Now, in general you need to be careful about considering pawn slices after pawn trade, and you need to consider whether the position after Kxg2 is actually won, but that can be fairly easily verified statically in the current position.
Ad. fixing the pawns: note that black can force the white pawn push .. to see that the resulting position is also drawn you need to look one ply deeper.