Computer-Generated Chess Problem 03747

Now, here we have a 'KRRNP vs krbn' mate in four chess puzzle by a computer program, Chesthetica, using the approach known as the DSNS from the sub-field of AI, computational creativity. Depending on the type and complexity of the problem desired, a single instance of Chesthetica running on a desktop computer can probably generate anywhere between one and ten problems per hour.

2n1k3/2K4N/1R2rRP1/8/8/7b/8/8 w - - 0 1
White to Play and Mate in 4
Chesthetica v12.56 (Selangor, Malaysia)
Generated on 1 Jul 2022 at 3:57:53 AMSolvability Estimate = Moderate
Chesthetica, especially if running on multiple computers or operating system user accounts, is capable of generating far too many compositions than can be published in a timely fashion here. The newer ones will therefore only be published some time later. This is why the composition or generation date above does not match today's date. White has a rook and a pawn for Black's bishop. Why not time yourself how long it took you to solve this? Collectively, these puzzles are intended to cater to players of all levels.
Solution