The fall of the theorem economy
Overall reception of the essay
- Many commenters found the piece unusually deep, well‑reasoned, and one of the most interesting things they’ve read on the nature of mathematics.
- A few found the tone somewhat self‑centered or politically naive (e.g., “rediscovering alienation under capitalism”), but even critics generally agreed it raised important questions.
Mathematics, understanding, and AI
- Core theme echoed: math’s real “product” is conceptual understanding and new ways of thinking, not just theorems or formal proofs.
- Several worry that AI can mass‑produce correct theorems and long formal proofs that humans will never really understand, creating a layer of “machine mathematics” above human math.
- Debate over whether such AI‑only results are still “mathematics” or better labeled “engineering,” “oracle” output, or “engineered trustworthy mathematics.”
- Others emphasize that transmitting understanding is what makes something science; purely internal AI-to-AI work would lack that.
Value and purpose of pure mathematics
- Some argue most advanced pure math is effectively a self‑contained puzzle game with no real‑world relevance; if AI does it better, society loses little.
- Others counter that basic research is like venture capital: most work is “useless,” but rare abstract ideas later transform technology (e.g., historical cases like number theory or topology). We can’t know in advance what will matter.
- There’s criticism that institutions reward theorem production over explanation, refactoring, and pedagogy, even though the latter may be where much real value lies.
Impact of AI on careers and institutions
- Concerns that AI plus big‑tech funding will hollow out academic basic research, turning mathematicians into applied specialists or AI‑tool users.
- Some foresee a bleak future for “theorem‑proving” careers; others see a new role for humans in choosing questions, guiding AI resources, and interpreting meaning.
Proof, rigor, and software analogies
- Comparisons with programming recur: software relies on tests and “battle testing,” while math insists on proofs because the alternative is whole theories collapsing.
- Commenters note math already has many informal, buggy, or partially checked proofs; formal systems like Lean both expose this and offer a path to machine‑checked rigor.
- Discussion of bottom‑up vs top‑down abstraction building links mathematical theory‑building to software architecture, but with math achieving deeper reuse and cumulative structure than typical software ecosystems.
Publishing, openness, and access
- Multiple anecdotes describe dysfunctional journal processes: multi‑year delays, silence, lost emails, arbitrary rejections, and even “unrejections” after intervention.
- Some fear AI advantages will push science and math further into closed, privately funded silos; others argue experimental constraints and large collaborations will preserve some openness.