The Fall of the Theorem Economy
Summary
A thoughtful critique of how AI and large language models influence mathematics and the practice of proof, arguing for canonization, intelligibility, and the redefinition of value in mathematical work. It discusses First Proof, autoformalization, and the tension between human creativity and machine automation.