I totally believe you that it won't find the win.
And maybe I misunderstood your initial question. You question was referring to the lichess computer opponent level 8. And yes I think it would be possible to make it win by using endgame tablebases.
But that would also mean, it would play perfectly in tablebase range. And that is nothing a human would normally do in up to 7-Piece endgames. And the computer opponents are meant to be fun. And it's not fun to play someone making only best moves.
And maybe I misunderstood your initial question. You question was referring to the lichess computer opponent level 8. And yes I think it would be possible to make it win by using endgame tablebases.
But that would also mean, it would play perfectly in tablebase range. And that is nothing a human would normally do in up to 7-Piece endgames. And the computer opponents are meant to be fun. And it's not fun to play someone making only best moves.