Proof Abundance
What changes when candidate proofs become cheap and judgement becomes scarce.
Proof abundance is the shift that follows when machines can generate candidate proofs cheaply. The scarce resource moves from production to judgement.
If a proof can be generated quickly, the hard question becomes whether it solves the right problem, transfers insight and opens a useful path.
The archive treats this as a special case of a larger AI problem: output can be correct while the system still lacks understanding of why it matters.