Source: Marginal REVOLUTION
Large language models are now producing novel mathematical proofs at marginal cost, collapsing the economic barrier to exploratory research that previously required tenured mathematicians or well-funded labs. Any researcher with API access and mathematical intuition can now offload the grunt work of proof-writing to GPT. This shifts the rate-limiting step in research from human genius to access to compute, putting pressure on academic institutions to justify their role beyond credential-granting.