Comment by SpicyLemonZest

It doesn’t exist for OpenAI’s benefit either. The point of the “strip mining” analogy is that they are churning through the mathematical landscape in a way that optimizes for the number of problems solved rather than the amount of understanding of those problems.