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.
> 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.
loading story #50331805