On: “Math 2.0” will need to value mathematical progress more holistically

[sebzim4500]

In this case though the compute per problem was pretty reasonable so if this model was available this rate of progress would mostly continue whether OpenAI funds it or not.