@drdos7
I'm surprised. I thought that position was a certainty for your "Mates that are difficult for engines" thread.
My last post was wrong on two counts.
Firstly, I just tried it with my standard version of 15.1 without NNUE and it also announced mate (after a fairly long wait and was oscillating at values just over 50). So I did probably have an engine that will play it, though I haven't tried it yet.
Secondly, 1...Kg1 is just as obstinate as 1...Ke1. I'd somehow assumed it wasn't because the bishop disappears immediately, but they both reach the same position(s) where the cycle that forces the pawns forward starts on move 7.
So SF15 may have solved the position depending on whether it's telling the truth or not.
Edit: Make that 3 counts. 1...Kg1 is actually better than 1...Ke1.
ShashChess shows a win for white in the Otto Blathy after 27 seconds:
Interesting. I don't think I've ever had a program that could.
But we've had several other examples where it depends not only on the engine but also on the GUI and configuration.
It also depends on the allotted think time, but on a different thread several examples were shown where increasing the think time increased the blunder rate. I think that could be fairly prevalent in "difficult" positions.
I'm playing your endgame position against the syzygy right now with the latest development version of Stockfish WITH NNUE and sans tablebases. So far it is playing all of the best moves.
I just noticed my example was also SF15 with NNUE not SF15.1 without.
It marked time on move 3 but otherwise was perfectly accurate up to move 22 when it started to get flaky (even though its evaluation collapsed on move 19).
I used Stockfish 15 NNUE without tablebases on the Otto Blathy puzzle you posted, and Stockfish annouced a mate in 50 after 8 minutes and 16 seconds and held onto it until I terminated the search at the 9 minute and 20 second mark.