Will there be smart contract bounties for formalized mathematics on a blockchain before May 2024
40
702Ṁ4422resolved May 2
Resolved
NO1H
6H
1D
1W
1M
ALL
This market resolves YES if there is some public blockchain smart contract or contracts offering at least a 100USD equivalent in bounties for formalized proofs of mathematical theorems by the market close date. A few stipulations:
* The blockchain in question has to be permissionless - it should be possible for an individual with the formalized proof in hand to obtain the bounty without going through any KYC process (excluding, possibly, the process of obtaining some cryptocurrency to pay a transaction fee).
* For the purposes of this question, a smart contract running on a "Layer 2" platform such as a rollup counts as a smart contract.
* The proof doesn't necessarily have to be extractable from the transaction - For example, if the contract accepts a SNARKed proof of the existence of a formal proof, that counts.
* The theorems for which the bounties are offered must be intentional. One might perversely define any bug in any smart contract to be a bounty for a proof of the bug expressed as an exploit - that doesn't count.
* Moreover theorems must be "mathematical". One could imagine an intentionally-made bug bounty for a program with a smart contract that rewards a proof of an exploit, but that wouldn't count: This focuses more on formalizations of problems which are more explicitly mathematical. Examples might include:
* Open problems such as P vs NP, or the Riemann Hypothesis.
* Resolved-but-complicated theorems such as FLT.
* Easier mathematical theorems such as the infinitude of primes.
* Blurring the line for the above might be a bounty for a proof-of-correctness for some cryptographic scheme which relies heavily on mathematical concepts. In this case, I'd probably use my best judgement, but as a rule of thumb, I would say that if the theorem can be found in the literature somewhere, it's probably mathematical enough.
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
🏅 Top traders
# | Name | Total profit |
---|---|---|
1 | Ṁ250 | |
2 | Ṁ60 | |
3 | Ṁ53 | |
4 | Ṁ36 | |
5 | Ṁ24 |
People are also trading
Related questions
Smart contracts on Manifold by end of 2026?
2% chance
Before 2033 will the expert consensus be that formal methods are the best way to avoid $million smart contract exploits?
88% chance
By 2033 will we have seen a period of at least 24 months where there are no smart contract exploits "stealing" crypto?
16% chance
Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?
25% chance
Will a popular contract break AA bundlers (e.g. ERC4337) via usage of EIP-1153 by end of 2025?
84% chance
Will aesop be able to replace >50% of mathlib proofs by 2025-11-26?
41% chance
Will Victor Taelin’s new $10K bounty for AI reasoning be claimed by EOY 2025?
65% chance
By the start of 2026, will the Clay Mathematics Institute award its monetary prize for the solution of another Millennium Prize Problem?
2% chance
Will AI contribute as much as a co-author would today to a real research mathematics paper before Jan 1 2026?
25% chance
By when will a competition platform like Codeforces but for mathematics (theorem proving) appear?