alt Hacker NewsI 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.
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.