2026-10-09
Blockchain prizes for unsolved math problems
Disclaimer
Main
- Now that formal verification is finally taking off (because of AI), it is worth pointing out that you can provide prizes for solutions to unsolved math problems, via ethereum smart contracts that formally verify the proofs to release the reward.
- Anyone can promise to reward money and anyone can claim it.
- You can allow the people providing the reward to unstake their money via a slow timelock (or don't allow to them to unstake at all), whereas people claiming the rewards can claim instantly.
If ASI gets built, this won't matter. If AI progresses stalls, it could matter.
P.S. Famous crypto scammer Justin Sun already has a partial version of this running. I want it to run on ethereum though, not tron, for obvious reasons.
Subscribe
To subscribe, enter "Subscribe " followed by Signal username, email address or whatsapp phone number. You will receive atmost one update per month.
Alternatively, you can subscribe via RSS, or a third-party service like blogtrottr
Comment
Enter comment