Yes? I expect their motivation for devoting resources to solve these problems will dramatically drop as soon as they IPO. Maths is just a convenient vanity metric for OpenAI to demonstrate progress, but long term progress in mathematics has no commercial value to them.

Of course, general improvements may be sufficient to continue to drive math improvements even without specific attention - we’ll see.