Deepseek-Math-V2 used approximately 65,000 queries for each problem to obtain their great performance on the IMO. Assuming 32k tokens per request, that means it wrote approximately 10,000 600-page books for each problem. Good stuff.