Odds are about 50/50 what happens first, a galactic algorithm becoming useful, or OpenAI strip-mining a discovery from the field of Mathematics in a way that discovery benefits any human.

It's still a lot bigger than polynomial. I don't think it would realistically be that useful.