This news piece examines how artificial intelligence could severely disrupt the academic economics of mathematical research by automating the creation and publication of new proofs. While AI might effectively destroy the traditional career incentives and prestige structures surrounding the theorem economy, it will barely alter the core practice of the discipline. Ultimately, the fundamental progress and exploration of mathematics itself are expected to remain largely unaffected by this technological shift.