Comment by dash2

I think the announcement says they report the amount of problems attempted somewhere.

Edit: "Over the course of the evaluation, the model was posed approximately 4,000 problems. Aggregating the output into result families and manuscripts and requiring an appropriate level of significance led to the catalog outlined above."