This is true in experimental sciences, where people who have grants and funding can obtain results using equipment unavailable to others. But their raw data can help much less funded theory groups to formulate new understanding that can lead to new experiments.

As long as the raw proofs, potentially ai generated, are available a lot of less funded mathematicians can still use them to generate understanding and created new programs to be resolved with new ai aided mathematical experiments.