Why Compression Is the Core of Mathematics and AI, According to Michael Freedman
In an interview, Fields Medalist Michael Freedman explains how his new paper shows that mathematical reasoning is fundamentally about compression, presents statistical analysis of the Lean mathlib library revealing astronomically large unfolded statements versus compact token representations, and argues that understanding this compression is key to future human‑AI collaboration in mathematics.
