Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets · HackerPapers discussionshttps://hackerpaper.kaipfister.de/p/2102.03044/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMTSmart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets — mentioned by nynoxhttps://news.ycombinator.com/item?id=26217178urn:hackerpapers:mention:2102.03044:26217178Sun, 21 Feb 2021 21:05:39 GMT<p>Following this proof tree idea, this recent paper https://arxiv.org/abs/2102.03044 suggests to think of proofs of theorems as large trees, a tiny subset of which needs to be made explicit to convey the confidence the rest could be written out (if ever needed).</p><p><a href="https://hackerpaper.kaipfister.de/p/2102.03044/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.GT