But as previously said... how else do you propose it was found if not by an engine?
Here you see Kd4 is the second choice and I analyzed for only 5-6 seconds
If you systematically create all positions involving a legal collection of 6 chessmen ( or less ), then start from positions which are mate, stalemate or draw by insufficient material ( terminal positions with definite value ), look at all your legal moves which lead to those positions and give them value, then look at all opponent moves which enable you to make those moves, and give them value, and continue this as far you can reach positions that you have not seen before, you do this with every position that has definite value, then with this reverse tree search you can build a 6 men tablebase. If you have a 6 men tablebase then you are guaranteed to make the optimal move in any legal position involving 6 chessmen.
Engines do not work this way: they perform partial searches from given positions down to a certain depth and not down to terminal positions and instead of the value of terminal positions they rely on evaluation functions. Engines are designed in a way so that they can come up with a reasonable move in any position after a short think. This is very different from tablebases which think for ages, but then know everything about a certain limited set of positions.
I won't call an engine's second choice finding a winning move. If I have to rely on an engine I have no other rational option but to play its first choice. If I take this to the extreme and set the multipv level high enough so that every legal move gets analyzed then I can claim that the engine finds the best move in every position because it is among its choices, because all legal moves are among its choices.
I hate to bring this up again, but in the above position the highest rated engines want to play either Nc3 or Nd2 ( either of those moves blows their win ).
Why?
Because humans taught them that the knight is not good on the edge of the board...