Gustavo Lacerda

Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets

2021 · arXiv (Cornell University)

Modern mathematics is built on the idea that proofs should be translatable into formal proofs, whose validity is an objective question, decidable by a computer. Yet, in practice, proofs are informal and may omit many …