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

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.