Designing Game of Theorems · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/1906.08549/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTDesigning Game of Theorems — HN submissionhttps://news.ycombinator.com/item?id=20250163urn:hackerpapers:submission:1906.08549:20250163Sat, 22 Jun 2019 15:40:38 GMT<p>Designing Game of Theorems</p><p></p><p>1 point; 0 discussion replies on HN. <a href="https://hackerpaper.kaipfister.de/p/1906.08549/">Paper and source history</a>. A submission is not an endorsement.</p>cs.AI