https://hackerpaper.kaipfister.de/p/2603.20396/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=49998289urn:hackerpapers:mention:2603.20396:49998289Wed, 07 Oct 2026 20:22:25 GMT<p>I can only discuss published work, but take for instance this paper as one of the conjectured approaches: https://arxiv.org/abs/2603.20396 There is a general idea that beauty in mathematics is about being maximally compressing. Say I have a book with all formally correct logical statements. I could prove everything by truth table, or I can maximally compress my book with all proofs of all statements, and that will make my math beautiful. Because it forces you to reduce everything to a core of very general statements which are powerful compared to the length of the proof. Math as some kind of…</p><p><a href="https://hackerpaper.kaipfister.de/p/2603.20396/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.AIhttps://news.ycombinator.com/item?id=47833508urn:hackerpapers:submission:2603.20396:47833508Mon, 20 Apr 2026 12:47:24 GMT<p>Compression is all you need: Modeling Mathematics</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2603.20396/">Paper and source history</a>. A submission is not an endorsement.</p>cs.AI