[nl]

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/