Compression is all you need: Modeling Mathematics
arxiv.org