TLDR Tech / AIThe fall of the theorem economy2026-04-22It will eventually become unthinkable to do math without AI assistance, just like it has become unthinkable to do math without set theory and LaTeX.Read the full story