Bolzano: From Expert-Guided Proof Search to Automated Open-Problem Solving · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2610.09769/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:27:26 GMTBolzano: From Expert-Guided Proof Search to Automated Open-Problem Solving — HN submissionhttps://news.ycombinator.com/item?id=50003103urn:hackerpapers:submission:2610.09769:50003103Thu, 08 Oct 2026 08:07:09 GMT<p>From Expert-Guided Proof Search to Automated Open-Problem Solving</p><p></p><p>2 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2610.09769/">Paper and source history</a>. A submission is not an endorsement.</p>cs.AI