Yes
@danegraphics and
@StingerPuzzles you're both right and thanks for the analysis
@danegraphics . My own version of stockfish quickly looked all the way to the end of the game and told me the truth.
Something I've found about Lichess puzzles is that as long as there are only two choices, a puzzle that is very hard to understand can have a low rating. If 50% of puzzlers (including those rated 900 or below) can get it right, it will have a low rating. This is a frustration I have with puzzle storm / racer, and why I think it's inferior to regular puzzles where you can take your time. Puzzle storm will often reward you for guessing and you have learned nothing.
I suppose if 45 b7 Re2+!! 46 Kf1 Rf2+!! were played in a game, it would deserve double exclamation points. The patzers who played this in a rapid game, of course went 45 b7? Kxg3? . I wouldn't be shocked to see that continuation in a GM game either.
I studied the position just now and I think to be able to force a draw black needs to be able to
1. move between guarding the two pawns with a single move (they are separated by two files, which is fine).
2. guard a pawn to queen without interference from the white king if white wins the other pawn
To prevent the above and win, white needs to stop black from having its king on e3 or f3 and advancing a pawn to d3 or g3. White can defend this by having the king on e1 or f1 and playing Rb3+ immediately to drive the king back to the 4th rank.
Kudos to any player that sees that over the board (or even in a puzzle setting).
P.S. after doing the above, white needs to attack from behind with the rook to win the pawns--and insert a check at the right moment to force the black king in front of one of the pawns while taking the other one with the king--but I don't think that's nearly as difficult to figure out.