Home

2026-10-09

Blockchain prizes for unsolved math problems

Disclaimer

• Quick Note

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

Enter "Subscribe: " followed by Signal username, email address or whatsapp phone number. You will receive atmost one update per month. View previous updates here.

Alternatively, you can use RSS, or a third-party service like blogtrottr.

Comment

Enter "Comment: " followed by comment. Alternatively, contact me