gabrielrecc comments on ProverEstimator’s Shortform

[gabrielrecc]

I assume that both were inspired by https://​​arxiv.org/​​abs/​​2108.12099 and are related via that shared ancestor