> 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.

My assumption (based on perceived human nature) is that the raw proofs will not be made available.

If all of the important credit goes to the person who attached understanding to them, I'd assume those with the money to take the first step will keep the AI proofs secret until they believe they have adequately done the follow-up that will give them the lion's share of any credit.