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.