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