Computer-Generated Chess Problem 02542

Now, this is a 'KRRPPP vs kqrbpp' mate in 4 chess construct composed autonomously by a computer program, Chesthetica, using the Digital Synaptic Neural Substrate (DSNS) computational creativity approach. It doesn't use endgame tablebases, neural networks or any kind of machine learning found in traditional AI. The largest (Lomonosov) tablebase today is for 7 pieces which contains over 500 trillion positions. With each additional piece, the number of possible positions increases exponentially. It is therefore impossible that this problem with 12 pieces could have been taken from such a database.

1rR1R2b/P1Pk4/5P2/7q/8/7p/1p6/5K2 w - - 0 1
White to Play and Mate in 4
Chesthetica v11.02 (Selangor, Malaysia)
Generated on 6 Mar 2019 at 11:31:11 PMSolvability Estimate = Difficult
Chess puzzles are ancient. Some are over a thousand years old but only in the 21st century have computers been able to compose original ones on their own like humans can. Get a glimpse into the 'mind' of a computer composer. Did you find this one interesting or have something else to say? Leave a comment below! Feel free to copy the position into a chess engine and discover even more variations of the solution.
Main Line of the Solution (Skip to 0:35)