It's been very successful at frontier math tasks - a bunch of the Erdos questions have been solved by it - more than any other model.

https://www.erdosproblems.com/

> Basically like passes@6 or passes@5 if you’re doing a benchmark, except for your real tasks.

It's unclear how they would do this when there is no signal that provides an objective ground truth.