Comment by user43928

I tend to disagree with OP, for the same reason.

It's unclear what more could be expected than releasing the presumably already verified results and write-ups for each problem. Should they run a mathematics school too?

Then the comment goes on to argue AI labs were not interested in actually advancing mathematics, and that investments into AI were manically excessive.

IMO none of this follows and demand is there to justify the investments.

The comment then goes further to argue that AI labs were putting too much effort into pretending there was exponential progress rather than actually making progress.

The factual basis for this claim seems to be that OpenAI released math results and write-ups, and it's not even clear what more they could do on that topic.

That's a very negative opinion.