Is it not more democratic, if AI companies announce new theorems and proofs, and the discipline of mathematics furthers "our understanding" - instead of that the wealthiest universities in existence (all of them in the US) use their advantageous access to AI to produce them, along with their exclusive furthering of our understanding?

In a world, where expensive AI models running thousands of agents produce the most remarkable results, how should the discipline of mathematics look like, when money and access to compute plays such a pivotal role?

With the Navier-Stokes solutions being out in the wild, any mathematician at an impoverished university can make a stab at it and help our understanding. Assume the solutions being held back by those who produced them at Harvard & Co. (until they have their nice articles ready), what would the role of mathematicians be at less affluent universities?

I do not assume AI companies will be ready to provide equal access to their AIs to worldwide mathematics.