TLDR Tech / DevThe fall of the theorem economy2026-07-03The hardest part of mathematical research is not proving theorems but discovering the right concepts and language that make those theorems almost inevitable.Read the full story