other than that, I don't think any serious person would trust a ralph-loop to accomplish something truly substantial. it's good for ensuring rote tasks get completed without the agent stopping too soon, but not much more
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.