https://hackerpaper.kaipfister.de/p/1302.2898/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=10982890urn:hackerpapers:mention:1302.2898:10982890Wed, 27 Jan 2016 20:19:04 GMT<p>&gt; Much higher (but still short of general intelligence, obviously) would be beating the best humans at language translation, proving math theorems, or answering factual questions phrased in natural language. Then, if and when computers can write novels which you&#x27;d prefer to read over the best human author, now we&#x27;re talking. There&#x27;s a lot of similarity. Take math theorem proving, which is an active area of machine learning; the algorithms tend at the moment to look something like create a tree of possible theorems, then the algorithm tries to traverse down the tree towards the target theorem…</p><p><a href="https://hackerpaper.kaipfister.de/p/1302.2898/">Paper and discussion history</a>. A mention is not an endorsement.</p>math.HOhttps://news.ycombinator.com/item?id=8488025urn:hackerpapers:submission:1302.2898:8488025Tue, 21 Oct 2014 16:09:00 GMT<p>Mathematics in the Age of the Turing Machine (2013)</p><p></p><p>30 points; 1 discussion reply on HN. <a href="https://hackerpaper.kaipfister.de/p/1302.2898/">Paper and source history</a>. A submission is not an endorsement.</p>math.HO