https://hackerpaper.kaipfister.de/p/2605.22763/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=50036001urn:hackerpapers:submission:2605.22763:50036001Sat, 10 Oct 2026 18:59:25 GMT<p>Google DeepMind solves 9 Erdős problems</p><p></p><p>7 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2605.22763/">Paper and source history</a>. A submission is not an endorsement.</p>cs.AIhttps://news.ycombinator.com/item?id=49134850urn:hackerpapers:mention:2605.22763:49134850Sat, 01 Aug 2026 14:38:17 GMT<p>Yes, here is another example of major work in this area: https://arxiv.org/html/2605.22763v1 &gt; Our most capable agent autonomously resolved 9 of 353 open Erdős problems at the per-problem cost of a few hundred dollars, proved 44/492 OEIS conjectures</p><p><a href="https://hackerpaper.kaipfister.de/p/2605.22763/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.AIhttps://news.ycombinator.com/item?id=49030164urn:hackerpapers:submission:2605.22763:49030164Fri, 24 Jul 2026 01:10:29 GMT<p>Advancing Mathematics Research with AI-Driven Formal Proof Search</p><p></p><p>2 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2605.22763/">Paper and source history</a>. A submission is not an endorsement.</p>cs.AIhttps://news.ycombinator.com/item?id=48289633urn:hackerpapers:submission:2605.22763:48289633Wed, 27 May 2026 04:27:36 GMT<p>Advancing Mathematics Research with AI-Driven Formal Proof Search</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2605.22763/">Paper and source history</a>. A submission is not an endorsement.</p>cs.AIhttps://news.ycombinator.com/item?id=48270206urn:hackerpapers:submission:2605.22763:48270206Mon, 25 May 2026 18:44:45 GMT<p>Advancing mathematics research with AI-driven formal proof search</p><p></p><p>2 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2605.22763/">Paper and source history</a>. A submission is not an endorsement.</p>cs.AIhttps://news.ycombinator.com/item?id=48262411urn:hackerpapers:mention:2605.22763:48262411Mon, 25 May 2026 00:34:17 GMT<p>No, problem #326, you didn&#x27;t give a few days timeline. Google released a paper about solving 9 more Erdos problems for an average of $100 each: https://arxiv.org/html/2605.22763v1 In a year I think we&#x27;ll probably have seen hundreds of open problems solved, even if there is some a low hanging fruit exhausiton bottleneck.</p><p><a href="https://hackerpaper.kaipfister.de/p/2605.22763/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.AIhttps://news.ycombinator.com/item?id=48259081urn:hackerpapers:submission:2605.22763:48259081Sun, 24 May 2026 17:10:18 GMT<p>Advancing Mathematics Research with AI-Driven Formal Proof Search</p><p></p><p>3 points; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/2605.22763/">Paper and source history</a>. A submission is not an endorsement.</p>cs.AIhttps://news.ycombinator.com/item?id=48248182urn:hackerpapers:mention:2605.22763:48248182Sat, 23 May 2026 14:47:35 GMT<p>Link to the &quot;Advancing Mathematics Research with AI-Driven Formal Proof Search&quot; paper that the article references: https://arxiv.org/html/2605.22763v1</p><p><a href="https://hackerpaper.kaipfister.de/p/2605.22763/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.AI