The Problem Is the Problem: Towards Scalable Mathematical Discovery · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2608.16977/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTThe Problem Is the Problem: Towards Scalable Mathematical Discovery — mentioned by afsg-qsgfhttps://news.ycombinator.com/item?id=49983969urn:hackerpapers:mention:2608.16977:49983969Tue, 06 Oct 2026 20:53:47 GMT<p>The fracking or strip mining of mathematics is repulsive. It must be noted here that Jeremy Avigad, who posted a soothing pro-AI guest article on Tao&#x27;s blog on Oct. 5th, is running a strip mining project: https://huggingface.co/papers/2608.16977</p><p><a href="https://hackerpaper.kaipfister.de/p/2608.16977/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.AI