Hard Fork Proposal for Changing Reward Bounty Conjectures

by , Friday, October 16, 2020, 16:58 (415 days ago) @ Brown

[barakeel] I have read your tech report and it is difficult to tell if the problems will be of the appropriate difficulty. I would prefer to ditch the random bounty system all together and what you propose is almost equivalent if those problems are too hard. Early stakers can already propose more interesting and diverse bounties that those. To my mind, it is not a good idea to put so much proofgold points on proving AIM problems. Although each of these problems might be interesting, having so many of them might become boring. I am afraid this will become a distraction to the goal of formalizing mathematics.