Yes. Not only is the solution beyond StockFish horizon, also there are no beacons along the way to tell it whether it is progressing or regressing. Columbus was lucky that America is so big. What SF needs to do is more like finding the island of Saint Martin in a gigantic ocean without map or compass or even knowing that it exists. Not a chance.
Stpckfish couldn't win with N+N vs. P
Actually that's a good question, is there a way to play "against the tablebase"? Regular engines do weird things when the endgame is a forced loss for them.
I was practicing the ending with the knights, and decided to play it with the pawn to see the correct solution. However, Stockfish was totally clueless and make no progress at all. Are programs specifically programmed for endings like that?