https://hackerpaper.kaipfister.de/p/1611.05990/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=15869858urn:hackerpapers:mention:1611.05990:15869858Thu, 07 Dec 2017 13:41:53 GMT<p>Quick, someone apply AlphaZero algorithm to this MCTS prover for math: https://arxiv.org/abs/1611.05990 I actually prefer &quot;expert iteration&quot; and &quot;tree-policy target&quot; term instead of &quot;AlphaZero algorithm&quot;, because they emphasize what is novel about it among the entire system. Terms are from https://arxiv.org/abs/1705.08439</p><p><a href="https://hackerpaper.kaipfister.de/p/1611.05990/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.LO