https://hackerpaper.kaipfister.de/p/2411.00566/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=45419856urn:hackerpapers:mention:2411.00566:45419856Mon, 29 Sep 2025 22:54:12 GMT<p>Here is some evidence for you then: https://arxiv.org/abs/2411.00566 Not published just yet are experiments for finding solutions to mathematical problems traditionally found with SAT solvers, at much larger scale than was previously possible.</p><p><a href="https://hackerpaper.kaipfister.de/p/2411.00566/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.COhttps://news.ycombinator.com/item?id=42054943urn:hackerpapers:submission:2411.00566:42054943Tue, 05 Nov 2024 20:38:53 GMT<p>PatternBoost: Constructions in Mathematics with a Little Help from AI</p><p></p><p>1 point; 2 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2411.00566/">Paper and source history</a>. A submission is not an endorsement.</p>math.CO