Compression is all you need: Modeling Mathematics | Hacker News Reader