For the math theorem-proving community, this result is a preview of what's coming. Here the machine fully exhaustively proves the optimal strategy involving more than 1000 steps, building on the previous tablebase. Top AI correctly predicts the initial path
It's the following position: White wins in 584 moves. The winning move is unique. Interestingly, Stockfish 18 finds the correct move, but only gives 0.7