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 of all valid deductions.