I guess it depends on what your definition of truly substantial is. With the right objective function and enough compute I think you can definitely make progre

I guess it depends on what your definition of truly substantial is. With the right objective function and enough compute I think you can definitely make progress. A lot of problems can be framed as search. I think some of these proofs coming out is a good example of this.