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.