Compression is all you need: Modeling Mathematics
arXiv:2603.20396v1 Announce Type: new Abstract: Human mathematics (HM), the mathematics humans discover and value, is a vanishingly small subset of formal mathematics (FM), the totality …
Vitaly Aksenov, Eve Bodnia, Michael H. Freedman, Michael Mulligan
10 views
