Computer-Generated Chess Problem 02840

Now, this is a 'KQRBBNN vs krbnnp' chess construct composed autonomously by the prototype computer program, Chesthetica, using the DSNS computational creativity approach which doesn't use any kind of traditional AI. You can learn more about the DSNS here. The largest endgame tablebase in existence today is for 7 pieces (Lomonosov) which contains over 500 trillion positions, most of which have not been seen by human eyes. This problem with 13 pieces goes even beyond that and was therefore composed without any such help.

1r6/8/4p2B/2b2k2/2N4K/8/B2RN3/1n4nQ w - - 0 1
White to Play and Mate in 4
Chesthetica v11.62 (Selangor, Malaysia)
Generated on 12 Feb 2020 at 8:16:20 PMSolvability Estimate = Difficult
Composing a chess puzzle or problem requires creativity and it's not easy even for most humans. White has a decisive material advantage in this position but the winning sequence may not be immediately clear. Try to solve this as quickly as you can. If you like it, please share with your friends. Feel free to copy the position into a chess engine and discover even more variations of the solution.
Solution