This sounds like it is just slightly smarter than brute forcing your way to a solution.

Oh well, more support for my prediction: nobody will win a Nobel prize for reaching AGI.