I said this when OpenAI announced they had solved a Millennium prize problem: solving open problems for the sake of it will lose its cachet. AI companies will no longer benefit by making these announcements. They've proven the effectiveness of their tool. If people want to use them to advance human knowledge then let them do that. There's no benefit to humanity to turn electricity into proofs just for the sake of it.

It's not just about proving the benefit of the tool, it's about proving that the latest version of the tool is better than the previous version and of the competitors' latest versions

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.