I assume your proposal requires trades be public, so that someone exploiting a proof to get free money ends up revealing the proof to others.
Until computerized theorem proving vastly improves, this system will only prove statements after the first proof is accepted.
I assume your proposal requires trades be public, so that someone exploiting a proof to get free money ends up revealing the proof to others.
Until computerized theorem proving vastly improves, this system will only prove statements after the first proof is accepted.