user22826: Are there any hard math problems or math contests that have rewards paid in Bitcoin?

user1919: There is a site where one can submit bounties for proofs of theorems in Coq formal proof management system, and get paid in bitcoin:

proofmarket.org

Additionally there are other sites that have done competitions in the past:

mathgate.info treasure hunt

Another project in development (but at the moment not specifically tied to bitcoin) is ProofPeer
Additional information about these proof markets can be found in this article:  http://blogchain.fr/programmarket-en/

22826: <p>Are there any hard math problems or math contests that have rewards paid in Bitcoin?</p>
 1919: <p>There is a site where one can submit bounties for proofs of theorems in Coq formal proof management system, and get paid in bitcoin:</p>

<ul>
<li><a href="https://proofmarket.org/" rel="nofollow">proofmarket.org</a></li>
</ul>

<p>Additionally there are other sites that have done competitions in the past:</p>

<ul>
<li><a href="https://mathgate.info/" rel="nofollow">mathgate.info treasure hunt</a></li>
</ul>

<p>Another project in development (but at the moment not specifically tied to bitcoin) is <a href="http://www.proofpeer.net/index.html" rel="nofollow">ProofPeer</a></p>

<p>Additional information about these proof markets can be found in this article:  <a href="http://blogchain.fr/programmarket-en/" rel="nofollow">http://blogchain.fr/programmarket-en/</a></p>
