the industrialization of the checking layer, as in Rubin's seven-million-alerts-a-night survey. The proof can now be produced faster than humans can read it — which relocates the bottleneck from verification to the intuition that decides what's worth verifying.
