Not OP, but the Darwin Godel machine comes to mind: https://arxiv.org/abs/2505.22954
That's the one!
Thanks!